Recognize metadata labels in mli files#357
Merged
Leonidas-from-XIV merged 13 commits intorealworldocaml:mainfrom Jan 24, 2022
Leonidas-from-XIV:mli-metadata-labels
Merged
Recognize metadata labels in `mli` files#357Leonidas-from-XIV merged 13 commits intorealworldocaml:mainfrom Leonidas-from-XIV:mli-metadata-labels
Leonidas-from-XIV merged 13 commits intorealworldocaml:mainfrom
Leonidas-from-XIV:mli-metadata-labels
Commits
Commits on Jan 6, 2022
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 7, 2022
- authored andcommitted
- andauthored