diff options
| author | EuAndreh <eu@euandre.org> | 2021-03-23 10:46:36 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-03-23 10:46:36 -0300 |
| commit | 2f5231e38622cf25e439e6e4ba955106adbe1046 (patch) | |
| tree | ad06555da315d26f4485c2807c399b259f00f372 /aux/ci/git-pre-push.sh | |
| parent | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when... (diff) | |
| download | git-permalink-2f5231e38622cf25e439e6e4ba955106adbe1046.tar.gz git-permalink-2f5231e38622cf25e439e6e4ba955106adbe1046.tar.xz | |
aux/workflow/public.sh: Mark as executable
Diffstat (limited to 'aux/ci/git-pre-push.sh')
0 files changed, 0 insertions, 0 deletions