Merge branch 'stable'

pull/438/head
Volker Grabsch 10 years ago
commit 86a2c007af

@ -2795,7 +2795,7 @@ endef</pre>
</div>
<div class="section">
<h2 id="copyright">Copyright © <span class="years">20072013</span></h2>
<h2 id="copyright">Copyright © <span class="years">20072014</span></h2>
<ul id="authors-list" class="compact-list">
<li>Volker Grabsch</li>

Loading…
Cancel
Save