# HG changeset patch
# User wenzelm
# Date 1224439487 -7200
# Node ID 55c23dfff096eb534d8f9e666022b77cf7c1ca86
# Parent  12bf97b7fc9d294badac390f7902206a8ad7730c
removed private properties;

diff -r 12bf97b7fc9d -r 55c23dfff096 src/Tools/jEdit/nbproject/private/private.properties
--- a/src/Tools/jEdit/nbproject/private/private.properties	Sun Oct 19 20:04:05 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-application.args=-noserver
-do.depend=false
-do.jar=true
-javac.debug=true
-javadoc.preview=true
-jaxws.endorsed.dir=/home/makarius/lib/netbeans/current/java2/modules/ext/jaxws21/api
-user.properties.file=/home/makarius/.netbeans/6.5beta/build.properties