Mark Olesen
authored
- the configuration settings can be used for the third-party build, but the configuration is not yet actively enabled in etc/bashrc, etc/cshrc
Site will likely be offline for maintenance 14/15 April - more details soon
- the configuration settings can be used for the third-party build, but the configuration is not yet actively enabled in etc/bashrc, etc/cshrc