]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cac14c7) | patch
Support local make files.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 25 Apr 2024 13:38:23 +0000 (15:38 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 25 Apr 2024 13:38:23 +0000 (15:38 +0200)
commit73e0fd24ed41db7882948ee4d7ff63119cf5a67d
tree354c4a24bc220c0fa35d1db1ea2d68d20e18aa29tree | snapshot
parentcac14c7d96355a9ca02f69627f01ddebe699afcccommit | diff
Support local make files.

These additional targets are handy for site-local targets such as
installing the web files or deploying the executable and the man page
on a remote server.
.gitignore diff | blob | history
Makefile diff | blob | history
DSS - dyadic snapshot scheduler