diff options
| author | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:13:31 +0200 |
|---|---|---|
| committer | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:13:31 +0200 |
| commit | 5c87d98c0b3383c7ad63f0b69e36110b915e36c2 (patch) | |
| tree | 8170ff14a78fdfc62a30e600d9fce8eb261afe2b /js/codemirror/panel.js | |
| parent | 9043754b69c64419c285a703daf203b87af70506 (diff) | |
enabled buttons in the navigation header (at least buttons on the left side of the bar), renamed stateMachine to navigation
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions