aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-14Change ridiculously slow file read implementationMarc Coquand1-10/+9
2024-05-14Add nice headingsMarc Coquand1-18/+53
2024-05-14Resolve a few bugsMarc Coquand1-13/+5
2024-05-14Add sort algorithmsMarc Coquand1-3/+36
2024-05-14Add search and tag searchMarc Coquand1-4/+30
2024-05-13RefactorMarc Coquand1-0/+0