diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2023-08-13 15:31:56 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-08-13 21:26:09 +0200 |
commit | 51e249db2ea321b2a0934289ba55c71197d03dc6 (patch) | |
tree | 589cd14d20629e87aa8763e2c3fb0597316632a9 /app-emacs/proofgeneral/metadata.xml | |
parent | app-emacs/mmm-mode: remove unused patch (diff) | |
download | gentoo-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