Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
Do not run CI against master, it is flaky
November 26, 2022 18:12
images
[#5] Update screenshots
March 23, 2020 17:03
scripts
Fix CI
May 13, 2022 14:06
test
test/install.el: Fix package archives configuration
May 4, 2021 11:36
.dir-locals.el
[#598] Update to reflect IP transfer
May 13, 2022 13:26
.gitignore
Add Makefile, Docker, CircleCI
December 10, 2019 23:09
CHANGELOG.md
[#598] Update to reflect IP transfer
May 13, 2022 13:26
Dockerfile
Add Makefile, Docker, CircleCI
December 10, 2019 23:09
LICENSE.md
[#598] Update to reflect IP transfer
May 13, 2022 13:26
Makefile
Fix CI
May 13, 2022 14:06
README.md
[minad/vertico#237] Deprecate Selectrum (#601)
November 27, 2022 06:30
selectrum.el
Fix CI
May 13, 2022 14:06