Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed obsolete .cvsignore files;
authorwenzelm
Mon, 16 Feb 2009 12:47:49 +0100
changeset 29749 5a576282c935
parent 29748 2ff24d87fad1
child 29750 3197b895f858
removed obsolete .cvsignore files;
doc-src/IsarOverview/Isar/document/.cvsignore file | annotate | diff | comparison | revisions
doc-src/Locales/.cvsignore file | annotate | diff | comparison | revisions
lib/browser/.cvsignore file | annotate | diff | comparison | revisions
lib/browser/GraphBrowser/.cvsignore file | annotate | diff | comparison | revisions
lib/browser/awtUtilities/.cvsignore file | annotate | diff | comparison | revisions 
--- 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
--- 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
--- 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
--- 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
--- 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
isabelle