2 commits

Author	SHA1	Message	Date
Patrick Georgi	d93107e332	Ignore "repo", the default name for the git repo	2021-10-29 20:54:39 +02:00
Patrick Georgi	a922c08eda	git-ignore the created executable	2021-10-29 20:21:34 +02:00