aboutsummaryrefslogtreecommitdiff
path: root/lib/done.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add regexp search for done and todoMarc Coquand2024-05-151-5/+10
* Add refresh buttonMarc Coquand2024-05-151-1/+13
* Add done view + visualMarc Coquand2024-05-151-0/+141