diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-08-13 18:10:57 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-13 18:10:57 +0100 |
| commit | 40c113c340752d507394d37cd6b60abb741daed0 (patch) | |
| tree | 27156f8941e9311cbff3d2b4277ba98bf1eb9b7d /app-emacs/proofgeneral | |
| parent | 9574298151cf44a3b410bdb7a7076e7bed72570d (diff) | |
gentoo auto-resync : 13:08:2023 - 18:10:57
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions