diff options
| -rwxr-xr-x | aux/ci/report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 2b50106..5b84c28 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -60,7 +60,7 @@ cat <<EOF >> "$OUT" display: inline; } ol { - list-style-type: disc; + list-style-type: disc; } </style> </head> |