aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2021-02-13 18:40:19 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2021-02-13 18:40:19 +0100
commit4252d9b44ceecfecabd3977fc12f11ed85d78e93 (patch)
tree8098a162f12b6fefc935651af62e5c8804f4ef05 /GNUmakefile
parent23052b301cb4c0e606a1b2b4175519e47536e563 (diff)
More cleanup
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile
index ffdcdae..da6a8bc 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -26,7 +26,6 @@ pkgfiles = NEWS.md \
R/* \
man/* \
README.html \
- TODO \
vignettes/gmkin_manual.html
all: check clean

Contact - Imprint