diff options
Diffstat (limited to 'cil/doc/cil.version.tex')
-rw-r--r-- | cil/doc/cil.version.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cil/doc/cil.version.tex b/cil/doc/cil.version.tex new file mode 100644 index 00000000..c5848594 --- /dev/null +++ b/cil/doc/cil.version.tex @@ -0,0 +1,2 @@ +\def\cilversion{1.3.5} +\def\ccuredversion{@CCURED_VERSION@} |