diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-10-01 23:44:45 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-01 23:44:45 +0100 |
| commit | ca52870b45c298a446df20ae15d12bff5f37c480 (patch) | |
| tree | 96295ab2f8990b4411cd7628ff8ded21b5e3a030 /app-emacs/company-coq | |
| parent | 5bd02f229a9c4ce484e49ec36dcb1f4eb5dfcdae (diff) | |
gentoo auto-resync : 01:10:2023 - 23:44:45
Diffstat (limited to 'app-emacs/company-coq')
0 files changed, 0 insertions, 0 deletions