The core directory is filled with the core branch.
[platal.git] / .gitmodules
2008-06-22 Florent BruneauThe core directory is filled with the core branch.