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