aboutsummaryrefslogtreecommitdiffstats
path: root/.direnv (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-05-18Delete .direnv/bin directoryMarcos Magueta1-19/+0
Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
2026-03-05ocaml re-migrationMarcos Magueta1-0/+19