diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-16 15:34:09 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-16 15:34:09 +0200 |
| commit | a630def321ae4f77156d3e95ec40516c1093e7aa (patch) | |
| tree | 09c1f5dd67b4b5abf07f4647df16f8d57409b24b /js/codemirror | |
| parent | fe9a64861dcafadf4b1d34a4f782ff7f064f9984 (diff) | |
beautifications and translations of settings page
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions