diff options
Diffstat (limited to 'aux')
| -rwxr-xr-x | aux/ci/report.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 5b84c28..6f18f0f 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -93,6 +93,7 @@ done cat <<EOF >> "$OUT" </ol> + </main> </body> </html> EOF |