summary refs log tree commit diff
path: root/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-25Use a trie for filtering completions (not fuzzy yet)Nicolas Werner2-74/+131
2020-11-25