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/codeq/prologPythonLib.js | |
parent | c2b7956557835b1a232a84bdb262a700924a1538 (diff) |
Leave to Bootstrap to set the font for console (the <pre> element).
Diffstat (limited to 'js/codeq/prologPythonLib.js')
0 files changed, 0 insertions, 0 deletions