1. james woodyatt
  2. oni

Commits

jhwoodyatt  committed 79863b0

Merge fix from HEAD branch.

  • Participants
  • Parent commits 40268fb
  • Branches PAGODA

Comments (0)

Files changed (1)

File xml/.cvsignore

View file
  • Ignore whitespace
+.DS_store
+*.cmo
+*.cmi
+*.cmx
+*.cma
+*.cmxa
+ocamltop
+t.*
+t-opt.*