Remove user.config file, rename default.config to system.config.
[hadrian.git] / .gitignore
1 *.o
2 *.hi
3 _shake/
4 _build/
5 cfg/system.config
6 arg/*/*.txt