summaryrefslogtreecommitdiffhomepage
path: root/tools/.ocamlformat
AgeCommit message (Expand)Author
2026-01-30chore: reworked addpaper.ml, working on addentry.mlAmlal El Mahrouss
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-12 23:03:38 +0000