# HG changeset patch
# User wenzelm
# Date 1580239583 -3600
# Node ID 839bf7d74faef1d11a573937de2cbf397cecd699
# Parent  5385de42f9f4e364549a406cef25957cb2188085
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);

diff -r 5385de42f9f4 -r 839bf7d74fae .hgignore
--- a/.hgignore	Tue Jan 28 14:59:54 2020 +0000
+++ b/.hgignore	Tue Jan 28 20:26:23 2020 +0100
@@ -16,6 +16,7 @@
 ^heaps/
 ^browser_info/
 ^doc/.*\.pdf
+^lib/classes/
 ^src/Tools/jEdit/dist/
 ^src/Tools/VSCode/out/
 ^src/Tools/VSCode/extension/node_modules/