# HG changeset patch
# User wenzelm
# Date 1263246261 -3600
# Node ID e10547372c41dab2e08b2495a9a11d951600c14b
# Parent  502f9096748313427bbd2658bd7da85f038bcba7
ignore some src/Tools/jEdit stuff;

diff -r 502f90967483 -r e10547372c41 .hgignore
--- a/.hgignore	Mon Jan 11 22:31:27 2010 +0100
+++ b/.hgignore	Mon Jan 11 22:44:21 2010 +0100
@@ -24,4 +24,7 @@
 ^doc-src/.*\.rao
 ^doc-src/.*\.toc
 
-
+^src/Tools/jEdit/nbproject/private/
+^src/Tools/jEdit/build/
+^src/Tools/jEdit/dist/
+^src/Tools/jEdit/contrib/