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