]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0934ade) | patch
build: Compress the man page.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Apr 2024 03:07:01 +0000 (05:07 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 May 2024 20:24:53 +0000 (22:24 +0200)
commit625418a82dd5dcb97025d50dcbf54163bc41c9d4
tree426609b824951a3f5e6aa193f46892fdb0138442tree | snapshot
parent0934adef70ba0e669b5adcd43c93ce1ade37619fcommit | diff
build: Compress the man page.

Run gzip with -n to make the build reproducible.
.gitignore diff | blob | history
Makefile diff | blob | history
DSS - dyadic snapshot scheduler