diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-06-12 14:20:03 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-12 14:20:03 +0100 |
commit | 522b6bf7e1f6133c288b94a77fc5e3d8eef2c179 (patch) | |
tree | c6624f4b91276a0312ca31ebfa276732608dddba /app-emacs/company-coq | |
parent | 4d0ca679fbcb59301ffc7af98794c411c5061a0b (diff) |
gentoo auto-resync : 12:06:2023 - 14:20:02
Diffstat (limited to 'app-emacs/company-coq')
0 files changed, 0 insertions, 0 deletions