# HG changeset patch
# User wenzelm
# Date 1234784869 -3600
# Node ID 5a576282c93531cbfee1e96a3983c2cdd261b1f7
# Parent  2ff24d87fad12d2ad530dc413953dc4ee84723c9
removed obsolete .cvsignore files;

diff -r 2ff24d87fad1 -r 5a576282c935 doc-src/IsarOverview/Isar/document/.cvsignore
--- a/doc-src/IsarOverview/Isar/document/.cvsignore	Mon Feb 16 12:27:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-*.sty
-session.tex
\ No newline at end of file
diff -r 2ff24d87fad1 -r 5a576282c935 doc-src/Locales/.cvsignore
--- a/doc-src/Locales/.cvsignore	Mon Feb 16 12:27:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-locales.out
-locales.pdf
diff -r 2ff24d87fad1 -r 5a576282c935 lib/browser/.cvsignore
--- a/lib/browser/.cvsignore	Mon Feb 16 12:27:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-GraphBrowser.jar
diff -r 2ff24d87fad1 -r 5a576282c935 lib/browser/GraphBrowser/.cvsignore
--- a/lib/browser/GraphBrowser/.cvsignore	Mon Feb 16 12:27:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-*.class
diff -r 2ff24d87fad1 -r 5a576282c935 lib/browser/awtUtilities/.cvsignore
--- a/lib/browser/awtUtilities/.cvsignore	Mon Feb 16 12:27:30 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-*.class