diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-18 16:34:54 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-18 16:34:54 +0200 |
| commit | c922a97f9810321eb6812cf52c463454617b82d5 (patch) | |
| tree | b671844725e887fad13bafbcfff95ceca0bd412a /js/codemirror/panel.js | |
| parent | ea3d8109b4f90e83e5581f9434c828785c08d932 (diff) | |
Don't crash loading a python problem, if the problem has no plan set.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions