aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update files under aux/EuAndreh2021-06-111-6/+8
* Update files under aux/ci/EuAndreh2021-02-251-1/+1
* Add aux/ default filesEuAndreh2021-02-081-0/+19