diff options
author | Bert Münnich <ber.t@posteo.de> | 2016-10-20 10:21:55 +0200 |
---|---|---|
committer | Bert Münnich <ber.t@posteo.de> | 2016-10-20 10:21:55 +0200 |
commit | 878d97068cb6c8ae044332ac3c8218fcad635b42 (patch) | |
tree | 1282bbed9d2743baafd23d9aad8ec02d2d9d7ca7 /Makefile | |
parent | 891f389f0e228759b05dadec9dafdea5dc772f70 (diff) |
Only open regular files; fixes issue #252
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -VERSION := git-20160928 +VERSION := git-20161020 PREFIX := /usr/local MANPREFIX := $(PREFIX)/share/man |