]>
2017-11-05 | Tomasz Pala | don't alter other ./configure options |
commit | commitdiff | tree |
2017-11-05 | Tomasz Pala | zsh install directory fixed |
commit | commitdiff | tree |
2017-11-05 | Tomasz Pala | initial PLD release |
commit | commitdiff | tree |