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