From 7464ba2488081c03fae2e2f65c58ae82bf9033f8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 24 Apr 2014 01:11:39 +0200 Subject: [PATCH] add bin_annot --- _tags | 1 + 1 file changed, 1 insertion(+) diff --git a/_tags b/_tags index 79266bb..f46475b 100644 --- a/_tags +++ b/_tags @@ -16,3 +16,4 @@ # Library sequence "sequence.cmxs": use_sequence # OASIS_STOP +true: bin_annot