diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/htmlize/push-doc-artifacts.sh (renamed from ci/htmlize/push-doc-artifact.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ci/htmlize/push-doc-artifact.sh b/ci/htmlize/push-doc-artifacts.sh index e6432d3..e6432d3 100644 --- a/ci/htmlize/push-doc-artifact.sh +++ b/ci/htmlize/push-doc-artifacts.sh |