diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-09 15:40:38 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-12-09 15:41:20 +0100 |
| commit | 5d533e7c2bd1a831a5f6ec805527c2ea60190c6a (patch) | |
| tree | 2b71e84ca0a9df134085bbcd3daf0f519985f120 /js/codemirror | |
| parent | f0512671009b172b292c4066dfebc032480463cd (diff) | |
Increase padding for instructions/hints blocks
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions