##// END OF EJS Templates
api: get_repos allows now to filter by root locations, and optionally traverse the returned data....
api: get_repos allows now to filter by root locations, and optionally traverse the returned data. Fixes #5146

File last commit:

r731:7a6d3636 default
r1267:b965be9c default
Show More
widgets.html
18 lines | 441 B | text/html | HtmlLexer
<%def name="panel(title='', category='default', class_='')">
<div class="panel panel-${category} ${class_}">
%if title or hasattr(caller, 'title'):
<div class="panel-heading">
<h3 class="panel-title">
%if title:
${title}
%else:
${caller.title()}
%endif
</h3>
</div>
%endif
<div class="panel-body">
${caller.body()}
</div>
</div>
</%def>