diff options
| author |   Mats Lidell <matsl@gentoo.org> | 2024-12-25 22:27:34 +0100 |
|---|---|---|
| committer | Mats Lidell <matsl@gentoo.org> | 2024-12-25 22:27:57 +0100 |
| commit | fdcfebc34e600bb773409f9d4722c21379163ef8 (patch) | |
| tree | fd895560eb371e6d4a325707213408a8610e83bd /app-emacs/proofgeneral/proofgeneral-4.5.ebuild | |
| parent | profiles/package.mask: Last rite app-xemacs/{latin-unity,mule-ucs} (diff) | |
| download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip | |
Remove unused use flag, mule.
Signed-off-by: Mats Lidell <matsl@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-4.5.ebuild')
0 files changed, 0 insertions, 0 deletions