From ec74b6d032ee23f6ebb163bba6005d636d824392 Mon Sep 17 00:00:00 2001
From: jgart <jgart@dismail.de>
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 <ben@sturm.com.au>
---
 docs/source/plugindocs/persona.rst | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 docs/source/plugindocs/persona.rst

(limited to 'docs/source/plugindocs')

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