summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-06-12 14:20:03 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-06-12 14:20:03 +0100
commit522b6bf7e1f6133c288b94a77fc5e3d8eef2c179 (patch)
treec6624f4b91276a0312ca31ebfa276732608dddba /app-emacs/company-coq
parent4d0ca679fbcb59301ffc7af98794c411c5061a0b (diff)
gentoo auto-resync : 12:06:2023 - 14:20:02
Diffstat (limited to 'app-emacs/company-coq')
0 files changed, 0 insertions, 0 deletions