summaryrefslogtreecommitdiff
path: root/src/lib/modifiers/sig.ml
AgeCommit message (Collapse)Author
2021-09-03Ended refactoringSébastien Dailly
2021-09-03Continued refactoringSébastien Dailly
2021-08-28UpdateSébastien Dailly
2021-08-27Splitted modifiers in own librarySébastien Dailly