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