Skip to content
Snippets Groups Projects
user avatar
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
5e9d916f