manual/source
2017-11-12 19:23:19 +01:00
..
bootstrap-3.3.7 Update to bootstrap 3.3, minor tweaks 2017-04-18 15:16:31 -07:00
css Continuing the rephrasing, adding screencaptures, adding a miniature image class 'mini' for unnecessarily big screencaps, that grow fullsize on mouse hover 2017-06-09 19:14:41 +02:00
files Documenting the monitor section and adding a missing pdf file 2017-01-19 14:39:32 +01:00
images Adding the new Patch selector doc 2017-11-12 19:23:19 +01:00
index.html Small detail: made the redirection page W3C-compliant 2017-04-23 07:47:34 -07:00