lustrec/src/_tags @ 3d04f75e
| 1 | bed8ea64 | ploc | "backends/C": include |
|---|---|---|---|
| 2 | "backends/Horn": include |
||
| 3 | 3d04f75e | ploc | "backends/Riny": include |
| 4 | bed8ea64 | ploc | <**/.svn>: -traverse |
| 5 | <**/.svn>: not_hygienic |
||
| 6 | "main_lustre_compiler.native": use_graph |
||
| 7 | "main_lustre_compiler.native": use_str |
||
| 8 | "main_lustre_compiler.native": use_unix |
||
| 9 | <*.ml{,i}>: use_graph
|
||
| 10 | <*.ml{,i}>: use_str
|
||
| 11 | <*.ml{,i}>: use_unix
|