diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-18 18:39:55 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-18 18:39:55 +0200 |
| commit | 5ae5ffc6e86a0181799b6f45167bfb57ea91a32c (patch) | |
| tree | 18aad2a144e2c743e94ddad3d1ecad54e8f17904 /js/codemirror/panel.js | |
| parent | 45e1dc64a3f36222eb775a00157f587ebdaabd2d (diff) | |
Use a link instead of a button in a static hint sequence.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions