gpg benchmark
rm $out
gitignore
Merge branch 'master' of https://github.com/guilherme-pg/mc723

Conflicts:
	benchmark.sh