]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bca56b8) | 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>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commitfb039e1b989a85199dc18642b70c6bbb177e03b6
tree0a7e7709eaa175c96d95301cbd5f2aafdf6c7d24tree | snapshot
parentbca56b8545d22884eae29a0fafb7400eb80c5ac1commit | 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