Merge pull request #2508 from mbeddr/merge/mps20223

Merge maintenance/mps20223 into master
mbeddr · Sep 12, 2024 · d6f2576 · d6f2576
2 parents 21b57a3 + b54a0f9
commit d6f2576
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/about.txt b/about.txt
@@ -41,9 +41,6 @@ http://plantuml.com/
 Sat4J
 http://www.sat4j.org/
 
-SLF4J
-http://www.slf4j.org/
-
 Microsoft Corporation
 https://github.com/Z3Prover/
 

diff --git a/licenses/slf4j_license.txt b/licenses/slf4j_license.txt