You've already forked gnatdashboard
mirror of
https://github.com/AdaCore/gnatdashboard.git
synced 2026-02-12 12:30:42 -08:00
ac8d74c5ec
- Add new element in html-list Change-Id: If69f72318269d85b6b9e30fa5451cfaa30c4aa90 For: RA22-037
13 lines
455 B
HTML
13 lines
455 B
HTML
<div class="center">
|
|
<p class="error">
|
|
Could not load source file: <span class="verbatim">{{ filename }}</span>
|
|
</p>
|
|
<p class="help">Please check that:</p>
|
|
<ul class="help">
|
|
<li>The original source file exists</li>
|
|
<li>The original source file is part of the project</li>
|
|
<li>The report was not altered and data files were not deleted</li>
|
|
<li>The servers are still responding</li>
|
|
</ul>
|
|
</div>
|