From b907ffc49f564c68a7659bcd52a33abdd8650d2a Mon Sep 17 00:00:00 2001 From: Mike Pall Date: Tue, 13 Sep 2022 11:21:30 +0200 Subject: Remove dead Wiki links. The lost content may be resurrected later. --- doc/extensions.html | 2 -- 1 file changed, 2 deletions(-) (limited to 'doc/extensions.html') diff --git a/doc/extensions.html b/doc/extensions.html index 3ed13804..19ec9907 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -63,8 +63,6 @@ td.excinterop {
  • FAQ
  • -Wiki » -
  • Mailing List »
  • -- cgit v1.2.3-55-g6feb