From ec74b6d032ee23f6ebb163bba6005d636d824392 Mon Sep 17 00:00:00 2001 From: jgart Date: Mon, 19 Apr 2021 23:35:07 +0000 Subject: Remove Mozilla Persona plugin [#5512]. Mozilla persona is RIP since 2016. Signed-off-by: Ben Sturmfels --- docs/source/index.rst | 1 - docs/source/plugindocs/persona.rst | 2 -- 2 files changed, 3 deletions(-) delete mode 100644 docs/source/plugindocs/persona.rst (limited to 'docs') diff --git a/docs/source/index.rst b/docs/source/index.rst index 50897cd6..bfd7fd07 100644 --- a/docs/source/index.rst +++ b/docs/source/index.rst @@ -60,7 +60,6 @@ Part 2: Core plugin documentation plugindocs/flatpagesfile plugindocs/ldap plugindocs/openid - plugindocs/persona plugindocs/raven plugindocs/sampleplugin plugindocs/subtitles diff --git a/docs/source/plugindocs/persona.rst b/docs/source/plugindocs/persona.rst deleted file mode 100644 index 2524127d..00000000 --- a/docs/source/plugindocs/persona.rst +++ /dev/null @@ -1,2 +0,0 @@ -.. include:: ../../../mediagoblin/plugins/persona/README.rst - -- cgit v1.2.3