tag:github.com,2008:https://github.com/tools-env/mole/releases 2018-10-15T04:05:14Z tag:github.com,2008:Repository/185717666/v0.2.0 2018-10-15T04:05:14Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/davrodpin/mole/pull/4">davrodpin#4</a> from davrodpin/rm-alias</p> <p>Add option to remove an alias</p> davrodpin tag:github.com,2008:Repository/185717666/v0.1.0 2018-10-10T04:09:23Z <p>Make ip address of both local and remote optional</p> <p>This change makes the ip address of both `-local` and `-remote` optional <br />setting their value to `127.0.0.1` if not given.</p> tag:github.com,2008:Repository/185717666/v0.0.1 2018-10-05T22:21:07Z