Closed Jazzpirate closed 4 years ago
Next step: generate xml and omdoc for all the tests (currently only does pathsuris as proof-of-concept)
"dennis", "newtests" and "redefi" branches are all merged in and can (probably) be deleted afterwards
@tkw1536 Can I leave the commit squashing up to you? No idea how that works
Merged, @kohlhase can you please rebase your branches onto master to keep commit history clean?
rebased my branches.
Next step: generate xml and omdoc for all the tests (currently only does pathsuris as proof-of-concept)
"dennis", "newtests" and "redefi" branches are all merged in and can (probably) be deleted afterwards