diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-07-14 13:40:00 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-14 13:40:00 +0100 |
| commit | 3e627c1432765cb6a32877e73f985e8bfb5102ce (patch) | |
| tree | e4d7919d9e1ca0a54c1a3758c86555d6e9121956 /app-emacs/proofgeneral | |
| parent | 4a30f472147c2d8642bd558b78fcfce7b6a9c6b9 (diff) | |
gentoo auto-resync : 14:07:2022 - 13:40:00
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions