manual/source
2019-01-24 12:00:52 +01:00
..
bootstrap-3.3.7 Update to bootstrap 3.3, minor tweaks 2017-04-18 15:16:31 -07:00
css A bit of styling for the 1-page version 2019-01-14 12:31:58 +01:00
files
images Converts <img> to <figure> where it makes sense 2019-01-24 12:00:52 +01:00
index.html Small detail: made the redirection page W3C-compliant 2017-04-23 07:47:34 -07:00