michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix bug in layout acknowledgements

Browse source
This commit is contained in:
Wen Kokke 2018-09-13 12:54:14 +01:00
parent 8d8fd11269
commit 7fdf5b289c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plfa/Acknowledgements.lagda
View file

@ -18,7 +18,7 @@ this book is based, and for hand-holding:
<span class="force-end-of-list"></span> <span class="force-end-of-list"></span>
{%- if site.contributors -%} {%- if site.contributors -%}
<p>For pull requests big and small:</p> For pull requests big and small:
<ul> <ul>
{%- for contributor in site.contributors -%} {%- for contributor in site.contributors -%}
<li><a href="https://github.com/{{ contributor.github_username }}">{{ contributor.name }}</a></li> <li><a href="https://github.com/{{ contributor.github_username }}">{{ contributor.name }}</a></li>