Merge remote-tracking branch 'cgal/5.2.x-branch' into HEAD

This commit is contained in:
Sébastien Loriot 2021-08-05 08:35:36 +02:00
commit fb30b596ae
1 changed files with 1 additions and 1 deletions

View File

@ -150,7 +150,7 @@ body {color: black; background-color: #C0C0D0; font-family: sans-serif;}
for index in range(0, len(results1)):
result = [('./build_logs', './build_logs', (0,1))]
results_master.extend(result)
for index in range(0, len(results1)-1):
for index in range(0, len(results1)):
status='class="package-good"'
no_errors = True
no_warn = True