diff --git a/_tags b/_tags index 16cdbb4..2e45667 100644 --- a/_tags +++ b/_tags @@ -1,4 +1,4 @@ + or or or :include <**/*.ml>: debug, dtypes -: camlp4o, use_preproc : camlp4of, use_camlp4 <**/*.{byte,native}>: use_unix, use_str, debug diff --git a/heptagon/_tags b/heptagon/_tags new file mode 100644 index 0000000..42a9e3d --- /dev/null +++ b/heptagon/_tags @@ -0,0 +1,4 @@ +:include +:include +:include +
:include \ No newline at end of file diff --git a/minils/_tags b/minils/_tags new file mode 100644 index 0000000..3d82354 --- /dev/null +++ b/minils/_tags @@ -0,0 +1 @@ + or or
or :include \ No newline at end of file diff --git a/utilities/_tags b/utilities/_tags new file mode 100644 index 0000000..847b80e --- /dev/null +++ b/utilities/_tags @@ -0,0 +1,2 @@ +:include +: camlp4o, use_preproc