Reload the environment when dev.sh changes
This commit is contained in:
parent
8bf4ee6bbe
commit
5a43a97628
Loading…
Reference in New Issue