# HG changeset patch
# User wenzelm
# Date 1626428184 -7200
# Node ID 4f60db51a2632f1800c91b75c7691cb3337e9f84
# Parent  10abe3049bec4edd1fffbc6f7e3dce587a2e4be2
redundant: *.class and *.jar are already ignored;

diff -r 10abe3049bec -r 4f60db51a263 .hgignore
--- a/.hgignore	Fri Jul 16 11:32:32 2021 +0200
+++ b/.hgignore	Fri Jul 16 11:36:24 2021 +0200
@@ -16,7 +16,6 @@
 ^heaps/
 ^browser_info/
 ^doc/.*\.pdf
-^lib/classes/
 ^src/Tools/VSCode/out/
 ^src/Tools/VSCode/extension/node_modules/
 ^Admin/jenkins/ci-extras/target/