summaryrefslogtreecommitdiff
path: root/khb/_tags
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2014-03-12 10:11:12 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2014-03-12 10:11:12 +0100
commitbfafa7dbc3325749358538a95cbb4831db66b03c (patch)
tree1eefa8d984472cb47f80b1ff1362c01675d0faa6 /khb/_tags
downloadSystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.tar.gz
SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.zip
First commit
Diffstat (limited to 'khb/_tags')
-rw-r--r--khb/_tags3
1 files changed, 3 insertions, 0 deletions
diff --git a/khb/_tags b/khb/_tags
new file mode 100644
index 0000000..f36ce04
--- /dev/null
+++ b/khb/_tags
@@ -0,0 +1,3 @@
+true: use_menhir
+<*.byte>: use_unix
+<*.native>: use_unix