Setting tag myplc-5.0-18
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 08:56:10 +0000 (10:56 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 08:56:10 +0000 (10:56 +0200)
commitd693891ad8ce3111bcce536fa925d24e1753012b
treefc263ad868f9253ac2a96ec5d968c2f928567c28
parent8192be51a2a4f81ac470657278af2534354b0cc5
Setting tag myplc-5.0-18
new settings for myslice (comon&tophat) and monitor (db)
removed mentions of chroot in description
can redo myplc-docs on broken f12-latex
set short_open_tag in php.ini
fixes in gen-sites-xml (is that still used ?)
partial-repo.sh has moved to 'build' where it more belongs
tweaks in convenience tool 'mtail'
onelab-k22-tags.mk
onelab-k27-tags.mk
onelab-k32-tags.mk
planetlab-k27-tags.mk
planetlab-k32-tags.mk
planetlab-tags.mk