# HG changeset patch
# User wenzelm
# Date 1227982812 -3600
# Node ID 88193464e443480df859653df9bb2997b0825b30
# Parent  5c712e46988f66d0c86997681330575e019ab327
more .hgignore entries;

diff -r 5c712e46988f -r 88193464e443 .hgignore
--- a/.hgignore	Sat Nov 29 19:01:28 2008 +0100
+++ b/.hgignore	Sat Nov 29 19:20:12 2008 +0100
@@ -1,6 +1,9 @@
 syntax: glob
 
 *~
+*.dvi
+*.class
+*.jar
 .DS_Store