aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* rm -rf aux/EuAndreh2022-11-141-22/+0
* Use `/opt` over `/srv`EuAndreh2022-03-201-2/+2
* aux/: UpdateEuAndreh2021-07-251-4/+5
* aux/: Update filesEuAndreh2021-06-111-6/+8
* Update files under aux/EuAndreh2021-03-061-0/+9
* Update files under aux/EuAndreh2021-03-061-9/+0
* Update files under aux/ci/EuAndreh2021-02-241-1/+1
* aux/ci/: Use /srv over /data pathEuAndreh2021-01-301-2/+2
* mv build-aux/ aux/EuAndreh2021-01-271-0/+19