Timestamp:
09/10/14 14:42:59 (10 years ago)
Author:
dmay
Message:

Guimappings for jEdit. Seems to work now, as long as jEdit is started with the -nosplash option.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.