search

UniFormal / MMT

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

Added a relative path for archives repo to MagicTest #588

Open bessw opened 2 months ago

bessw commented 2 months 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

This would at least simplify the setup (#518) for some users, especially if they don't have permission to push their archives path in MagicTest and need to rebase it everytime.