[gnome-keysign: 17/17] removed our copy of monkeysign

[Tobias Mueller <tobiasmue src gnome org>]

commit d933d6df39d78a9a97b32e29f9f6dc5bd254017a
Author: Tobias Mueller <muelli cryptobitch de>
Date:   Fri Dec 15 15:29:47 2017 +0100

    removed our copy of monkeysign
    
    We do not depend on it any more in favour of gpgme. That should be
    shipped by major distributions now.
    Older Debian and Ubuntu versions still ship monkeysign which the user
    can then install, as the readme suggests.

 .gitmodules | 4 ----
 monkeysign  | 1 -
 2 files changed, 5 deletions(-)
---
diff --git a/.gitmodules b/.gitmodules
index 95b51c7..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +0,0 @@
-[submodule "monkeysign"]
-       path = monkeysign
-       #url = https://github.com/muelli/monkeysign.git
-       url =  https://0xacab.org/monkeysphere/monkeysign.git