aboutsummaryrefslogtreecommitdiffstats
path: root/lib/configuration.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-26listener working under RNT with a minimal drlMarcos Magueta1-17/+12
2026-09-26new shrunk API for RNT on sakuraMarcos Magueta1-10/+16
2026-06-23FormatMarcos Magueta1-51/+53
2026-05-27Improve the error handling situation (#71)Estevan Castilho1-21/+44
2026-04-27FormatMarcos Magueta1-2/+4
2026-04-22Prototype for configurationMarcos Magueta1-0/+84