diff options
author | EuAndreh <eu@euandre.org> | 2021-03-23 10:47:01 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-03-23 10:47:01 -0300 |
commit | 757153c7f9d09e2ed3c089b59daa760e7ff1cc36 (patch) | |
tree | 79018e0309316ffe11146f07be06c21c0a2da742 /aux/workflow | |
parent | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when... (diff) | |
download | remembering-757153c7f9d09e2ed3c089b59daa760e7ff1cc36.tar.gz remembering-757153c7f9d09e2ed3c089b59daa760e7ff1cc36.tar.xz |
aux/workflow/public.sh: Mark as executable
Diffstat (limited to 'aux/workflow')
-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 |