From 8d0cd8c9dcd59fa5a0c7d25c4223bd4318bff917 Mon Sep 17 00:00:00 2001
From: Athanasius <github@miggy.org>
Date: Mon, 13 Jul 2020 11:59:10 +0100
Subject: [PATCH] PLUGINS.md: Change header to 'Developer Plugin Documentation'

---
 PLUGINS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PLUGINS.md b/PLUGINS.md
index b36fcf4c..d6a214b9 100644
--- a/PLUGINS.md
+++ b/PLUGINS.md
@@ -1,4 +1,4 @@
-# EDMC Plugins
+# Developer Plugin Documentation
 
 Plugins allow you to customise and extend the behavior of EDMC.