JJ: Description from the destination commit:

better parse_config JJ: Description from source commit: better config: parse file + crunch
2025-11-20 18:38:01 +01:00 · 2025-11-20 18:38:01 +01:00 · db68e2f709
commit db68e2f709
parent e2d3986989
11 changed files with 481 additions and 234 deletions
--- a/src/dune
+++ b/src/dune
@ -13,6 +13,7 @@
  b32
  ;
  include
+  parse_config
  ;
  caqti
  caqti-miou