Closed rvanasa closed 1 year ago
Detects ic-mops from local or global npm dependencies instead of mops from the system path. This makes it possible to use different MOPS versions for individual projects.
ic-mops
mops
Detects
ic-mops
from local or global npm dependencies instead ofmops
from the system path. This makes it possible to use different MOPS versions for individual projects.