aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update aux/ci/ filesEuAndreh2021-01-301-2/+2
|
* mv build-aux/ -> aux/ and scripts/EuAndreh2021-01-271-0/+19