Some useless stuff. Main.cs calls a nonexistent/broken method in release mode
Merge branch 'master' of https://github.com/et1337/Lemma
Merge branch 'master' of https://github.com/et1337/Lemma

Conflicts:
	Lemma/Main.cs