diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-07-15 19:43:32 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-15 19:43:32 +0100 |
| commit | fa1962ff69701bd9c0f15fb225cdbfb487125e0e (patch) | |
| tree | 85b35bd5a3c73ea562768237a25da176adef5744 /app-emacs/proofgeneral | |
| parent | bd8ca999980e9c0c9ae40a11789c858bb58769e3 (diff) | |
gentoo auto-resync : 15:07:2022 - 19:43:32
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions