Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add start_time and kill_time arguments to processes in deployment file
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 25 May 2005 13:47:32 +0000 (13:47 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 25 May 2005 13:47:32 +0000 (13:47 +0000)
commit86bade75f732e1e4de9d9b4d86069e325655beef
tree88e6e87995d0287a7d711ac722fd0e4413bc38b8
parent3d85805182365568b827d198e52c9463a946ec74
Add start_time and kill_time arguments to processes in deployment file

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1295 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/include/surf/surfxml.h
src/surf/surfxml.c
src/surf/surfxml.dtd
src/surf/surfxml.l