view build-aux/OctJavaQry.class @ 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 fafd51a1b0f0
children
line wrap: on
line source

(binary:application/java-vm)