aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-post-receive.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* aux/ci/: AddEuAndreh2022-04-131-0/+22
* Remove CI files under aux/: remove website from CI...Since I'm already only publishing from my local machine. EuAndreh2021-06-071-14/+0
* Update files under aux/EuAndreh2021-06-071-5/+5
* Update files under aux/EuAndreh2021-03-011-2/+2
* Update aux/ci/ filesEuAndreh2021-01-301-2/+2
* mv build-aux/ -> aux/ and scripts/EuAndreh2021-01-271-0/+14