Release plat/al core v1.1.12
[platal.git] / doc /
2011-02-23 Florent BruneauAllow 'make doc' in the core.