Project

General

Profile

Revision ce0f282d

View differences:

src/_tags.in
30 30
<**/main_lustre_compiler.native>: use_unix
31 31
<**/main_lustre_testgen.native> : use_unix
32 32
<**/sf_sem.native>              : use_unix
33
<**/*.ml>                       : package(num)
33 34
<**/*.native>                   : package(num)
34 35
<**/*.ml>                       : package(logs)
35 36
<**/*.native>                   : package(logs)

Also available in: Unified diff