search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

Added a relative path for archives repo to MagicTest #580

Closed bessw closed 4 days ago

bessw commented 1 year ago

Added a relative path to MagicTest to search the archives repo next to the MMT repo without having to configure anything.

for example: your/folder/path/MMT your/folder/path/archives your/folder/path/UFrameIT

bessw commented 4 days ago

Renamed the branch and reopened the pull request see #588