Add edition to list of ignored unused xml tags (#1243)

Signed-off-by: Pablo Herrera <[email protected]>
PGMDev · Sep 19, 2023 · 6fe5e7d · 6fe5e7d
1 parent f4bc17f
commit 6fe5e7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/src/main/java/tc/oc/pgm/util/xml/DocumentWrapper.java b/util/src/main/java/tc/oc/pgm/util/xml/DocumentWrapper.java
@@ -12,7 +12,7 @@
 
 public class DocumentWrapper extends Document {
 
-  private static final Set<String> IGNORED = Sets.newHashSet("variant", "tutorial");
+  private static final Set<String> IGNORED = Sets.newHashSet("variant", "tutorial", "edition");
 
   private boolean visitingAllowed = true;