Organisationsmbarbincrs9e82e7

Merge pull request #42 from mbarbin/customize-grep Add two customizable variables to Emacs crs-grep

Jun 27 10:27 +00:00
3h35m
*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.