Added NorNet distribution.
[build.git] / config.nornet /
2014-04-11 Thomas DreibholzAdded NorNet distribution.