]> rtime.felk.cvut.cz Git - orte.git/history - .dir-locals.el
ROBOT_DEMO: minor changes to UI
[orte.git] / .dir-locals.el
2013-09-09 Michal SojkaAdd configuration for Emacs editor