diff options
| author | Wynn Wolf Arbor | 2020-12-11 17:47:33 +0100 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-12-11 17:47:33 +0100 |
| commit | 8eaec1f5d378470e5efcfdb99dd6ad75de05bffa (patch) | |
| tree | 1261b382273da9ace581a0f896b1c808a0f2b4f4 /dev-python/namespace-gandi | |
| parent | befee72a5fcc187d4bd0c8797dde76461f2363be (diff) | |
| download | pramantha-8eaec1f5d378470e5efcfdb99dd6ad75de05bffa.tar.gz | |
sys-apps/mandoc: Drop
A couple of years after my initial bug report [1], mandoc has finally
been modified [2] to be integrated as a system man provider in Gentoo.
Thus, we can drop our modified copy from this overlay.
[1] https://bugs.gentoo.org/show_bug.cgi?id=616776
[2] https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=21fccd433a95f545ac5407c0f58020bd010a38c6
Diffstat (limited to 'dev-python/namespace-gandi')
0 files changed, 0 insertions, 0 deletions