diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2018-01-16 17:40:27 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2018-01-16 17:40:27 -0200 |
| commit | 43017883c2d5533b083bfc0386f3fc064e80a65d (patch) | |
| tree | 8a78a72981525ab12e27100c47141f6f1e81781d /files | |
| parent | e35a66651a263046ef2e0a0a4b5231a4a4d99d12 (diff) | |
| download | puppet-php-develop.tar.gz puppet-php-develop.tar.bz2 | |
Handles OpenPGP key for ondrej_ubuntu repodevelop
Diffstat (limited to 'files')
| -rw-r--r-- | files/ondrej_ubuntu_php.gpg | bin | 0 -> 364 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/files/ondrej_ubuntu_php.gpg b/files/ondrej_ubuntu_php.gpg Binary files differnew file mode 100644 index 0000000..04c5d9b --- /dev/null +++ b/files/ondrej_ubuntu_php.gpg |