# 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