Import Upstream version 20180207

[hcoop/debian/mlton.git] / doc / guide / conf / html5-footer.conf

[footer]
</div>
{disable-javascript%<div id="footnotes"><hr></div>}
<div id="footer">
template::[footer-body]
</div>
</body>
</html>