Merge branch 'main' of https://github.com/junit-team/junit5

junit-team · Jul 6, 2023 · 3564a73 · 3564a73
2 parents a3b5491 + 3b7c5e8
commit 3564a73
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/documentation/src/docs/asciidoc/user-guide/running-tests.adoc b/documentation/src/docs/asciidoc/user-guide/running-tests.adoc
@@ -1146,8 +1146,3 @@ never be excluded.
 
 In addition, all elements prior to and including the first call from the JUnit Platform
 Launcher will be removed.
-
-[[stacktrace-pruning-pattern]]
-==== Pattern Matching Syntax
-
-Refer to <<running-tests-config-params-deactivation-pattern>> for details.