diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 18:40:19 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 18:40:19 +0100 |
| commit | 4252d9b44ceecfecabd3977fc12f11ed85d78e93 (patch) | |
| tree | 8098a162f12b6fefc935651af62e5c8804f4ef05 /GNUmakefile | |
| parent | 23052b301cb4c0e606a1b2b4175519e47536e563 (diff) | |
More cleanup
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 1 |
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 |