ignore sequence/ dir

This commit is contained in:
Simon Cruanes 2014-09-17 23:09:17 +02:00
parent 3a5f71a9e7
commit 8a095f2298

1
_tags
View file

@ -159,4 +159,5 @@
# OASIS_STOP # OASIS_STOP
<tests/*.ml{,i}>: thread <tests/*.ml{,i}>: thread
<threads/*.ml{,i}>: thread <threads/*.ml{,i}>: thread
<sequence>: -traverse
<{string,core}/**/*.ml>: warn_K, warn_Y, warn_X <{string,core}/**/*.ml>: warn_K, warn_Y, warn_X