mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 03:05:29 -05:00
add optimize() flag to _tags
This commit is contained in:
parent
f1f72855fa
commit
4e2595df89
1 changed files with 1 additions and 0 deletions
1
_tags
1
_tags
|
|
@ -30,4 +30,5 @@
|
|||
true: bin_annot
|
||||
<**/*.ml>: warn_A, warn(-4)
|
||||
true: mark_tag_used
|
||||
<**/*.cmx>: optimize(3)
|
||||
<src/sequenceLabels.cm*>: nolabels
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue