diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-08-11 09:34:39 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-11 09:34:39 +0100 |
| commit | 7e2b5bc2c2e2e045de6095d46c24ee857453adf2 (patch) | |
| tree | 4387abc7e6be6debdd362738e7976e0d053163a1 /app-emacs/proofgeneral | |
| parent | 9b97cf60d2411c33c1b2170b730b345ea9995002 (diff) | |
gentoo auto-resync : 11:08:2023 - 09:34:39
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions