Commits

Anonymous committed b06fad3

added ignore file

  • Participants
  • Parent commits 7f4bf77

Comments (0)

Files changed (1)

 *.o
+*~
+*.cmi
+*.cmo
+*.cmx