manual/source
2019-01-22 15:09:25 +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 Documenting the Region Properties dialog 2019-01-22 15:09:25 +01:00
index.html Small detail: made the redirection page W3C-compliant 2017-04-23 07:47:34 -07:00