summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-08-13 18:10:57 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-08-13 18:10:57 +0100
commit40c113c340752d507394d37cd6b60abb741daed0 (patch)
tree27156f8941e9311cbff3d2b4277ba98bf1eb9b7d /app-emacs/proofgeneral
parent9574298151cf44a3b410bdb7a7076e7bed72570d (diff)
gentoo auto-resync : 13:08:2023 - 18:10:57
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions