##// END OF EJS Templates
repo-group: add path to exception when directory under which repo group should be created already exists.
repo-group: add path to exception when directory under which repo group should be created already exists.

File last commit:

r731:7a6d3636 default
r1152:2e863d15 default
Show More
widgets.html
18 lines | 441 B | text/html | HtmlLexer
dan
integrations: refactor/cleanup + features, fixes #4181...
r731 <%def name="panel(title='', category='default', class_='')">
<div class="panel panel-${category} ${class_}">
%if title or hasattr(caller, 'title'):
dan
account: convert change password form to colander schema and fix bug...
r665 <div class="panel-heading">
dan
integrations: refactor/cleanup + features, fixes #4181...
r731 <h3 class="panel-title">
%if title:
${title}
%else:
${caller.title()}
%endif
</h3>
dan
account: convert change password form to colander schema and fix bug...
r665 </div>
dan
integrations: refactor/cleanup + features, fixes #4181...
r731 %endif
dan
account: convert change password form to colander schema and fix bug...
r665 <div class="panel-body">
${caller.body()}
</div>
</div>
</%def>