diff options
| author |  Mike Burns <mike@mike-burns.com> | 2015-11-01 21:43:56 +0100 |
|---|---|---|
| committer | Mike Burns <mike@mike-burns.com> | 2015-11-01 21:43:56 +0100 |
| commit | 64ffbd8b7d3901d7c25bb71a49c64f082c2f646c (patch) | |
| tree | 0571fbf2583b9cd3739f2dfa2cf859c6d748c819 /DEVELOPERS.md | |
| parent | 3cbd8ffb673ad3fb4a3cda76f0b082cdea712c22 (diff) | |
Drop Gentoo instructions
Anton has stopped maintaining the rcm package for Gentoo, so remove
mention of them.
Thank you, Anton, for the work you had done, and best of luck to you in
the future!
Diffstat (limited to 'DEVELOPERS.md')
| -rw-r--r-- | DEVELOPERS.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/DEVELOPERS.md b/DEVELOPERS.md index e45df2d..288e5bf 100644 --- a/DEVELOPERS.md +++ b/DEVELOPERS.md @@ -56,7 +56,6 @@ Source packages go in the `deb-src` directory on the `gh-pages` branch. 5. Contact package maintainers: -Gentoo Anton Ilin <anton@ilin.dn.ua> 0xCB2AA11FEB76CE36 OpenBSD Mike Burns <mike+openbsd@mike-burns.com> 0x3E6761F72846B014 openSUSE Andrei Dziahel <develop7@develop7.info> 0x58BA3FA4A49D76C2 Ubuntu Martin Frost <frost@ceri.se> 0x98624E2FE507FAF2 |