Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Merge branch 'master' of github.com:aryx/fork-mmm

  • Loading branch information...
commit f500b421e1292ee8963416781e2861e34de5b261 2 parents 69122c5 + 52a0da7
Yoann Padioleau authored
Showing with 19 additions and 0 deletions.
  1. +19 −0 skip_list.txt
19 skip_list.txt
View
@@ -0,0 +1,19 @@
+##############################################################################
+# All
+##############################################################################
+
+# -------------------------------------------------------------------------
+# dupes
+# -------------------------------------------------------------------------
+file: external/core/condition.mli
+
+dir: external/ocamltk/examples
+dir: external/ocamltk/safe
+
+# -------------------------------------------------------------------------
+# old
+# -------------------------------------------------------------------------
+
+# -------------------------------------------------------------------------
+# parse errors
+# -------------------------------------------------------------------------
Please sign in to comment.
Something went wrong with that request. Please try again.