diff options
author | Vlad Glagolev | 2019-09-11 18:00:30 +0000 |
---|---|---|
committer | Vlad Glagolev | 2019-09-11 18:00:30 +0000 |
commit | 95a765fb63e75618a4b738b51c39ada2a299fbd5 (patch) | |
tree | f0c1ec74dc9529f3e621ebf7a8d1e2b309429a53 /python-pypi | |
parent | 62ce3e5b67ced121305f26860c8dbe159faeedd2 (diff) |
pygments: removed unneeded GPG key
Diffstat (limited to 'python-pypi')
-rw-r--r-- | python-pypi/pygments/HISTORY | 3 | ||||
-rw-r--r-- | python-pypi/pygments/pygments.gpg | bin | 2352 -> 0 bytes |
2 files changed, 3 insertions, 0 deletions
diff --git a/python-pypi/pygments/HISTORY b/python-pypi/pygments/HISTORY index cf3cc2ad3c..5b7561be3c 100644 --- a/python-pypi/pygments/HISTORY +++ b/python-pypi/pygments/HISTORY @@ -1,3 +1,6 @@ +2019-09-11 Vlad Glagolev <stealth@sourcemage.org> + * pygments.gpg: removed unneeded public key + 2019-06-21 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 2.4.2, use SOURCE_HASH instead of gpg checking diff --git a/python-pypi/pygments/pygments.gpg b/python-pypi/pygments/pygments.gpg Binary files differdeleted file mode 100644 index b005f1ca4a..0000000000 --- a/python-pypi/pygments/pygments.gpg +++ /dev/null |