myplc-5.0-18
object 550e8b5938d3a39f9d647c3e553d44ad2c43797b
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Jun 2011 08:56:13 +0000 (10:56 +0200)
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'