diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:25:48 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:53:31 +0100 |
| commit | 5b14c6129c037d4191f2fcedac6837f8442dc0dc (patch) | |
| tree | f15c39395e562cdc5af1a68bf877fef837766a4f /dev-python/clang-python/clang-python-13.0.0.ebuild | |
| parent | 10c7e0a0e168032b41f425b23b53bfd9c24cf472 (diff) | |
| download | gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.tar.gz gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.tar.bz2 gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.zip | |
app-emacs/company-coq: add company-coq-mode hook to coq-mode
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/clang-python/clang-python-13.0.0.ebuild')
0 files changed, 0 insertions, 0 deletions