diff options
| author | Mario Vavti <mario@mariovavti.com> | 2018-09-25 12:02:00 +0200 |
|---|---|---|
| committer | Mario Vavti <mario@mariovavti.com> | 2018-09-25 12:02:00 +0200 |
| commit | 9bb0f1d18ece05ac1d37800c61d0b071f560dac3 (patch) | |
| tree | cb1b837a184c1e38793bfd57ffa8e1a3e8ad7dbd /library/ace/mode-wollok.js | |
| parent | 39866b74637a58df5b1ffb8f2b6f164849d65315 (diff) | |
| download | volse-hubzilla-9bb0f1d18ece05ac1d37800c61d0b071f560dac3.tar.gz volse-hubzilla-9bb0f1d18ece05ac1d37800c61d0b071f560dac3.tar.bz2 volse-hubzilla-9bb0f1d18ece05ac1d37800c61d0b071f560dac3.zip | |
move advanced_theming switch to settings/display for now
Diffstat (limited to 'library/ace/mode-wollok.js')
0 files changed, 0 insertions, 0 deletions