Alice Kile 6a4a941bb6

toolbar: Move diagnostics button into dropdown menu ...

Reviewed-by: James Valleroy <jvalleroy@mailbox.org>

2019-12-01 16:40:31 -05:00

..

themes/default

toolbar: Move diagnostics button into dropdown menu

2019-12-01 16:40:31 -05:00

jslicense.html

js: Full librejs compatibility

2019-01-29 22:18:16 +05:30

theme

Update default theme link

2014-08-30 09:35:26 +05:30