diff options
author | Pacho Ramos <pacho@gentoo.org> | 2020-06-04 22:18:12 +0200 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2020-06-04 22:18:12 +0200 |
commit | 6b24484e99cfaf4c25a2c6812ea8e08bade903cd (patch) | |
tree | e346d3ae1b42617d3ea230a895ef22a953be8f66 /app-emacs/proofgeneral | |
parent | app-backup/duplicity: remove unused patches (diff) | |
download | gentoo-6b24484e99cfaf4c25a2c6812ea8e08bade903cd.tar.gz gentoo-6b24484e99cfaf4c25a2c6812ea8e08bade903cd.tar.bz2 gentoo-6b24484e99cfaf4c25a2c6812ea8e08bade903cd.zip |
x11-misc/bumblebee: Co-maintain
Package-Manager: Portage-2.3.100, Repoman-2.3.22
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions