Merge pull request #517 from nodiscc/doc-rm-certpatrol
commit7c4be8b5a6909bf84790452bfec78973566e71b0
authorpyllyukko <pyllyukko@maimed.org>
Sun, 1 Aug 2021 11:25:16 +0000 (1 11:25 +0000)
committerGitHub <noreply@github.com>
Sun, 1 Aug 2021 11:25:16 +0000 (1 11:25 +0000)
treeb6fad9c04f7373a98485c238b09bebab8743eabf
parent9d18038056f27850356389edef7ea8e71ed634a1
parent019974948e3f2649a0ebe4295ff202728388f3ea
Merge pull request #517 from nodiscc/doc-rm-certpatrol

doc: remove obsolete addons