Merge commit 'origin/master' into hruid.
[platal.git] / .gitmodules
2008-06-27 Vincent ZanottiMerge commit 'origin/master' into hruid.
2008-06-23 Florent BruneauMerge branch 'platal-0.9.17'
2008-06-22 Florent BruneauMerge branch 'platal-0.9.17'
2008-06-22 Florent BruneauThe core directory is filled with the core branch.