1 {% extends "base.htm" %}
3 Tool results: {{repo.getTitle}}
7 <h1>Tool results: {{repo.getTitle}}</h1>
8 <div class="row-fluid repo-info">
10 <a class="btn" href="{{repo.getLink('edit')}}"><i class="icon-edit"></i> edit</a>
11 <a class="btn" href="{{repo.getLink('display')}}"><i class="icon-arrow-left"></i> back</a>
15 {% for line in toolres.annotations.general %}
16 <div class="alert {{line.getAlertLevel}}">
21 {% include 'display-file.htm' %}
23 <div class="annotations">
24 {% for number,lineinfos in toolres.annotations if number != 'general' %}
25 {% for line in lineinfos %}
26 <div class="alert {{line.getAlertLevel}}">
27 Line #{{number}}: {{line.message}}
33 {% include 'display-foot.htm' %}