~ migrate ShExJ to top-level ShapeDecls#103
Merged
ericprud merged 8 commits intoextendsfrom extends_top-level-ShapeDeclJul 6, 2022
+377-380
Commits
Commits on Jul 4, 2022
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux
- committedEric Prud'hommeaux