summaryrefslogtreecommitdiff
path: root/editor/forms/add_page.mli
AgeCommit message (Expand)Author
2022-02-07Application unificationSébastien Dailly
2022-02-07Update popin events in editorSébastien Dailly
2022-02-07Update editor organisationSébastien Dailly
2022-02-07Added pop-up and events in editorSébastien Dailly