Philipp Holzer bf0782dc6b Rename setIgnore() to ignore()		2021-10-21 21:49:22 +02:00
..
Introduction	Rename setIgnore() to ignore()	2021-10-21 21:49:22 +02:00