supprimer (List.rev p) dans la fonction compile_path_rev
[tatoo.git] / configure
2014-01-07 Kim NguyễnAjout du script configure (et modification de .gitignor...