Make $MPS_HOME optional #26

Closed
opened 3 months ago by glitch4347 · 1 comments
Collaborator

Sometimes you don't need $MPS_HOME and you want to start mps from your local directory

Sometimes you don't need $MPS_HOME and you want to start `mps` from your local directory
Poster
Collaborator
https://code.corpglory.net/corpglory/mps/commit/9da8c60340b8d8f43a2e5cadf7ec9a7b69d79173
glitch4347 closed this issue 3 months ago
Sign in to join this conversation.
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This issue currently doesn't have any dependencies.

Loading…
There is no content yet.