Commits

camlspotter committed 7d2e491 Merge
  • Participants
  • Parent commits 3fc2e10, 54a4a99
  • Branches custom

Comments (0)

Files changed (1)

 ^otherlibs/labltk/(labltk|camltk)/.*\.(ml|mli)$
 ^otherlibs/labltk/labltk/\.depend$
 
+\#.*
+
 asmcomp/arch\.ml$
 asmcomp/emit\.ml$
 asmcomp/proc\.ml$