aboutsummaryrefslogtreecommitdiff
path: root/test/location.ml
AgeCommit message (Expand)Author
2024-12-02Moved the checks in a dedicated libraryChimrod
2024-02-08Ignore the global checkers if there is a syntax error; ignore error during re...Chimrod