Project

General

Profile

Revision bc9fd714 src/_tags.in

View differences:

src/_tags.in
1 1
# general config
2 2
true: bin_annot, color(always)
3
true: use_menhir
3
# true: use_menhir
4 4

  
5 5
# paths to sources
6 6
"backends": include

Also available in: Unified diff