summaryrefslogtreecommitdiff
path: root/lib/application/application.mli
AgeCommit message (Expand)Author
2022-02-07Renamed fonctions in application framework, updated docSébastien Dailly