diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-12 10:11:12 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-03-12 10:11:12 +0100 |
commit | bfafa7dbc3325749358538a95cbb4831db66b03c (patch) | |
tree | 1eefa8d984472cb47f80b1ff1362c01675d0faa6 /khb/_tags | |
download | SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.tar.gz SystemeReseaux-Projet-bfafa7dbc3325749358538a95cbb4831db66b03c.zip |
First commit
Diffstat (limited to 'khb/_tags')
-rw-r--r-- | khb/_tags | 3 |
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 |