Commits

Anonymous committed 350c744

ign

  • Participants
  • Parent commits c7d04d3

Comments (0)

Files changed (1)

 syntax: glob
 *~
 *.vo
-*.glob
+*.glob
+*.cmi
+*.cmo