Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Ignore CI generated files

Ignore-this: 9dffbdb29a52b73e0f4ef65e20e93a3c

darcs-hash:20120628014553-a43a9-c68b5451218100ce191f8c8f89ad58959c1030da
  • Loading branch information...
commit 6682083a4f918e178bea56ec1b38744ddc19689a 1 parent f46ef50
@gildor478 gildor478 authored
Showing with 3 additions and 0 deletions.
  1. +3 −0  _tags
View
3  _tags
@@ -212,3 +212,6 @@
<src/builtin-plugins.cma>: use_ocamlbuild
<**/*.ml>: annot
+
+"build": -traverse
+"build": not_hygienic
Please sign in to comment.
Something went wrong with that request. Please try again.