aboutsummaryrefslogtreecommitdiffstats
path: root/_khb_experiment/_tags
blob: f36ce0433731277b5326b4eb8a7d66c80201d8da (plain) (blame)
1
2
3

true: use_menhir
<*.byte>: use_unix
<*.native>: use_unix