[nongnu] elpa/proof-general 58b6f10 1/3: Delete REGISTER

[ELPA Syncer]

branch: elpa/proof-general
commit 58b6f10e54df9cada19328f680dbec9cf7222081
Author: David Aspinall <da@inf.ed.ac.uk>
Commit: GitHub <noreply@github.com>

    Delete REGISTER
    
    No registrations being recorded for some time now
---
 REGISTER | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/REGISTER b/REGISTER
deleted file mode 100644
index 820c951..0000000
--- a/REGISTER
+++ /dev/null
@@ -1,12 +0,0 @@
-Please register your use of Proof General on the web at:
-
-         http://proofgeneral.inf.ed.ac.uk/register
-
-The information provided will only be used to help a case for support
-for Proof General in the future.
-
-There is also an opportunity to join the mailing list from this page.
-To add or remove yourself from the mailing list after registering, go
-to:
-  
-         http://proofgeneral.inf.ed.ac.uk/mailinglist