Laura Klünder 9e2534f852 c3nav.bash: s/editor/runlocal/		2016-12-25 12:40:52 +01:00
..
c3nav.bash	c3nav.bash: s/editor/runlocal/	2016-12-25 12:40:52 +01:00