summaryrefslogtreecommitdiff
path: root/js/codemirror
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-09 15:40:38 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-09 15:41:20 +0100
commit5d533e7c2bd1a831a5f6ec805527c2ea60190c6a (patch)
tree2b71e84ca0a9df134085bbcd3daf0f519985f120 /js/codemirror
parentf0512671009b172b292c4066dfebc032480463cd (diff)
Increase padding for instructions/hints blocks
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions