# HG changeset patch
# User nipkow
# Date 1032945748 -7200
# Node ID 355ea87a27def1e1619c090f36f3f6949843a119
# Parent  a0febf6b0e9fd248bff8c217bc80a2e559d11e4c
*** empty log message ***

diff -r a0febf6b0e9f -r 355ea87a27de doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore	Wed Sep 25 11:22:28 2002 +0200
@@ -0,0 +1,1 @@
+*.sty
\ No newline at end of file