[Fix #385] Do not set $INFOPATH
parent
e5de305157
commit
095863e6ae
Loading…
Reference in new issue