aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
Commit message (Expand)AuthorAge
* configure.ml: our configure script is now written in ML :-)Gravatar Pierre Letouzey2013-12-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 21:29:08 +0000