diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2019-07-25 19:39:51 +0200 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2019-07-25 19:39:51 +0200 |
| commit | e9216b3336f7a774be7021dd663a433d9ec5edc7 (patch) | |
| tree | 3fdac22c1eef1f97d75ac8cdbea2652f24c5a1ab /tools/mpfr/Makefile | |
| parent | 5897b2be21f0403bd83f33d5f8bc11ced0cfb67c (diff) | |
| download | upstream-e9216b3336f7a774be7021dd663a433d9ec5edc7.tar.gz upstream-e9216b3336f7a774be7021dd663a433d9ec5edc7.tar.bz2 upstream-e9216b3336f7a774be7021dd663a433d9ec5edc7.zip | |
openwrt-keyring: update to Git HEAD
8080ef3 usign: add 19.07 release build pubkey
e24fe0d usign: use distro agnostic comments
251ded7 usign: fix filename of Stijn's usign key
14f0efc gpg: update snapshots public signing key
14f845b gpg: replace my public GPG key
4f735b8 gpg: add OpenWrt 19.07 signing key
228f8da gpg: add OpenWrt 18.06 v2 signing key
36057d9 gpg: update LEDE 17.01 public signing key
f2989ab Add my public GPG and usign key
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'tools/mpfr/Makefile')
0 files changed, 0 insertions, 0 deletions