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


No differences found