summaryrefslogtreecommitdiff
path: root/js/codemirror/prolog.js
diff options
context:
space:
mode:
authorRobert Zorko <robertz@gurucue.com>2015-09-22 18:13:31 +0200
committerRobert Zorko <robertz@gurucue.com>2015-09-22 18:13:31 +0200
commit5c87d98c0b3383c7ad63f0b69e36110b915e36c2 (patch)
tree8170ff14a78fdfc62a30e600d9fce8eb261afe2b /js/codemirror/prolog.js
parent9043754b69c64419c285a703daf203b87af70506 (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/prolog.js')
0 files changed, 0 insertions, 0 deletions