summaryrefslogtreecommitdiff
path: root/js/lib/codemirror.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 19:35:37 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-28 19:35:37 +0100
commit3d172c3f2018c2caa0a7b9af369fdfcdea9db03a (patch)
tree866c63f0841eb7265d04b6ea67c7875e03c2e02c /js/lib/codemirror.js
parentc09e33e6845290392684e50d098cc9825c327575 (diff)
Do not force a specific font in CSS
Diffstat (limited to 'js/lib/codemirror.js')
0 files changed, 0 insertions, 0 deletions