diff options
| author | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2023-10-14 16:22:31 +0300 |
|---|---|---|
| committer | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2023-10-14 16:25:58 +0300 |
| commit | d8c224ae8e8f00c6f895e108c00961cc98456d5d (patch) | |
| tree | ae735ac5756c12dc3d08be911816dd8a9672b15b /.gitignore | |
| parent | 967b724e75469e63a123b4123f4d02c65034a0cb (diff) | |
build: use date.py instead of date
MacOS (and others) "date" command don't support all the options that GNU
date has. So don't depend on that, add a small python program for this.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -105,7 +105,6 @@ configure.lineno /lib/doxyfile /version.texi /compile -build-aux/ /TAGS parse |
