diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-16 13:26:01 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-16 13:26:01 +0200 |
| commit | 91efbbd94eb72cb2880db4b8ea6118a98853484c (patch) | |
| tree | 8a5412464e63cca551bb18e7b8c3d799dc44e2c2 /js/codemirror/panel.js | |
| parent | c2b7956557835b1a232a84bdb262a700924a1538 (diff) | |
Leave to Bootstrap to set the font for console (the <pre> element).
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions