aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/: UpdateEuAndreh2021-09-011-1/+1
* aux/: UpdateEuAndreh2021-07-231-1/+2
* Makefile, README.md: Adapt to changes in aux/EuAndreh2021-06-261-3/+3
* Update files under aux/EuAndreh2021-06-071-4/+6
* aux/: Use tabs over spaces for .sh filesEuAndreh2021-06-061-2/+2
* Update files under aux/ci/EuAndreh2021-02-251-1/+1
* aux/ci/: Use /srv over /data pathEuAndreh2021-01-301-2/+2
* mv build-aux/ aux/EuAndreh2021-01-271-0/+19