manual/source
2021-05-29 16:58:55 +02:00
..
bootstrap-3.3.7 Update to bootstrap 3.3, minor tweaks 2017-04-18 15:16:31 -07:00
css Font improvement to the manual 2021-04-18 18:55:24 +02:00
files
images 6.7: Added 'Rec' to mode selector and shortcuts to script buttons 2021-05-29 16:58:55 +02:00
index.html Small detail: made the redirection page W3C-compliant 2017-04-23 07:47:34 -07:00