diff options
author | William Hubbs <williamh@gentoo.org> | 2024-12-11 14:56:49 -0600 |
---|---|---|
committer | William Hubbs <williamh@gentoo.org> | 2024-12-11 14:57:05 -0600 |
commit | a72e8951c82e098cdada36bafa9c7a2777ad4176 (patch) | |
tree | 2d4e7b44b054f38678af9d68974e68672f11d8b8 /app-emacs/proofgeneral | |
parent | dev-libs/libwacom: Stabilize 2.13.0 ppc, #946278 (diff) | |
download | gentoo-master.tar.gz gentoo-master.tar.bz2 gentoo-master.zip |
Signed-off-by: William Hubbs <williamh@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions