Project

General

Profile

Revision f50110e7

View differences:

src/_tags.in
24 24
<**/*.native>                   : use_str
25 25
<**/main_lustre_compiler.native>: use_unix
26 26
<**/main_lustre_testgen.native> : use_unix
27
<**/sf_sem.native>              : use_unix
27 28
<**/*.native>                   : package(num)
28 29
<**/*.ml>                       : package(logs)
29 30
<**/*.native>                   : package(logs)

Also available in: Unified diff