/src/backends/C/c_backend_spec.mli - Annotate - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/C/c_backend_spec.mli @ e77a0fa5

-            cc852504
+module HdrMod : C_backend_header.MODIFIERS_HDR
 module SrcMod : C_backend_src.MODIFIERS_SRC
 module MakefileMod : C_backend_makefile.MODIFIERS_MKF
-            d978c46e
+            Lélio Brun
 module MainMod : C_backend_main.MODIFIERS_MAINSRC