summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq
AgeCommit message (Collapse)Author
2023-08-11gentoo auto-resync : 11:08:2023 - 21:35:53V3n3RiX
2023-03-19gentoo auto-resync : 19:03:2023 - 18:35:20V3n3RiX
2023-01-31gentoo auto-resync : 31:01:2023 - 03:00:52V3n3RiX
2022-09-01gentoo auto-resync : 01:09:2022 - 19:24:10V3n3RiX
2022-03-20gentoo resync : 20.03.2022V3n3RiX