diff options
Diffstat (limited to 'etc/stklos/Makefile.config.in')
| -rw-r--r-- | etc/stklos/Makefile.config.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/stklos/Makefile.config.in b/etc/stklos/Makefile.config.in deleted file mode 100644 index 13a60d8..0000000 --- a/etc/stklos/Makefile.config.in +++ /dev/null @@ -1,5 +0,0 @@ -SYSTEM=@SYSTEM@ -SKRIBE=@SKRIBE@ -SKRIBEINFO=@SKRIBEINFO@ -SKRIBEBIBTEX=@SKRIBEBIBTEX@ - |