kaliveda-dev team mailing list archive

Thread
Date

[Branch ~kaliveda-dev/kaliveda/1.8] Rev 762: Modif de KVEventSelector pour faire tourner indifferement en mode normal ou ProofLite

To: KaliVeda Development Team <kaliveda-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Fri, 25 Jan 2013 10:20:22 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 762
committer: Eric Bonnet <bonnet@xxxxxxxx>
branch nick: kaliveda
timestamp: Fri 2013-01-25 11:19:49 +0100
message:
  Modif de KVEventSelector pour faire tourner indifferement en mode normal ou ProofLite
modified:
  KVMultiDet/Makefile
  KVMultiDet/analysis/KVEventSelector.cpp
  KVMultiDet/analysis/KVEventSelector.h


--
lp:kaliveda
https://code.launchpad.net/~kaliveda-dev/kaliveda/1.8

Your team KaliVeda Development Team is subscribed to branch lp:kaliveda.
To unsubscribe from this branch go to https://code.launchpad.net/~kaliveda-dev/kaliveda/1.8/+edit-subscription