aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/: UpdateEuAndreh2021-07-251-2/+3
* aux/: UpdateEuAndreh2021-06-241-3/+3
* 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