1 {% extends "base.htm" %}
3 Tool results: {{repo.getTitle}}
7 <meta name="robots" content="noindex"/>
11 <h1>Tool results: {{repo.getTitle}}</h1>
12 <div class="row-fluid repo-info">
14 <a class="btn" href="{{repo.getLink('edit')}}"><i class="icon-edit"></i> edit</a>
15 <a class="btn" href="{{repo.getLink('display')}}"><i class="icon-arrow-left"></i> back</a>
19 {% for line in toolres.annotations.general %}
20 <div class="alert {{line.getAlertLevel}}">
25 {% include 'display-file.htm' %}
27 <div class="annotations">
28 {% for number,lineinfos in toolres.annotations if number != 'general' %}
29 {% for line in lineinfos %}
30 <div class="alert {{line.getAlertLevel}}">
31 Line #{{number}}: {{line.message}}
37 {% include 'display-foot.htm' %}