diff scripts/java/javaclasspath.m @ 15901:927b121ad63f

gui: new error message when saving a file as one already opened in the editor * file-editor.cc(check_conflict_save): new error message
author Torsten <ttl@justmail.de>
date Sat, 05 Jan 2013 21:30:01 +0100
parents 921912c92102
children 1de4ec2a856d
line wrap: on
line diff