diff options
Diffstat (limited to 'development/noweb')
| -rw-r--r-- | development/noweb/noweb.info | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/development/noweb/noweb.info b/development/noweb/noweb.info index 6b3b10a0f7..1b4aa73007 100644 --- a/development/noweb/noweb.info +++ b/development/noweb/noweb.info @@ -7,4 +7,3 @@ DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Kyle Guinn" EMAIL="elyk03@gmail.com" -APPROVED="Niels Horn" |