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/workflow/public.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/workflow/public.sh')
-rwxr-xr-x[-rw-r--r--] | aux/workflow/public.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/aux/workflow/public.sh b/aux/workflow/public.sh index 4c90225..4c90225 100644..100755 --- a/aux/workflow/public.sh +++ b/aux/workflow/public.sh |