summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <mmk@levelnine.at>2023-08-13 15:31:56 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-08-13 21:26:09 +0200
commit51e249db2ea321b2a0934289ba55c71197d03dc6 (patch)
tree589cd14d20629e87aa8763e2c3fb0597316632a9 /app-emacs/proofgeneral/metadata.xml
parentapp-emacs/mmm-mode: remove unused patch (diff)
downloadgentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.tar.gz
gentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.tar.bz2
gentoo-51e249db2ea321b2a0934289ba55c71197d03dc6.zip
app-emacs/proofgeneral: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/metadata.xml')
0 files changed, 0 insertions, 0 deletions