Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[cleanup] Tag: unused

  • Loading branch information...
commit 10aa59ff5b1c19d8651088d89d7d34ec33d2fba6 1 parent bc3c36b
Raja authored
Showing with 0 additions and 2 deletions.
  1. +0 −2  libbase/_tags
View
2  libbase/_tags
@@ -8,8 +8,6 @@
<cactutf.ml>: use_ulex
<sgzip.ml> : use_zip
-<consListMap.ml>: rectypes
-
# This warnings are generated by the preprocessor : what a shame !
<indexer.ml>: warn_z
<jsonLex.ml>: warn_z
Please sign in to comment.
Something went wrong with that request. Please try again.