diff bootstrap.conf @ 17637:b30bb9bb05c8

change some editor shortcuts * file-editor.cc(set_shortcuts): change shortcuts for run, comment and uncomment
author Torsten <ttl@justmail.de>
date Sat, 12 Oct 2013 00:08:29 +0200
parents 7b305b36b87e
children d63878346099
line wrap: on
line diff