Added sanity check; improved comments
[Mograsim.git] / net.mograsim.preferences / .gitignore
2019-06-25 Daniel KirschtenCreated net.mograsim.preferences