Mercurial > hg > zsh-env
log
age | author | description |
---|---|---|
Sun, 13 May 2018 13:56:19 +0200 | Dirk Olmes | bugfix for the PATH generation when switching JDKs |
age | author | description |
---|---|---|
Sun, 13 May 2018 13:56:19 +0200 | Dirk Olmes | bugfix for the PATH generation when switching JDKs |