diff options
Diffstat (limited to 'docs/constants.texi')
| -rw-r--r-- | docs/constants.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/constants.texi b/docs/constants.texi deleted file mode 100644 index 57da65ad..00000000 --- a/docs/constants.texi +++ /dev/null @@ -1,2 +0,0 @@ -@set docsdir ../resources/ -@set useinstall |