Atahualpa c0fc615cd6 Adds the option to ignore "Base" records when running the verifier. (fixes #4466) ... Improves previous commit: 1. Initialise mIgnoreBase boolean member with FALSE. 2. Remove isBaseOnly() function and replace with direct use of Record member.		2018-06-20 11:29:38 +02:00
..
doc
filter
prefs	Adds the option to ignore "Base" records when running the verifier. (fixes #4466)	2018-06-20 00:20:03 +02:00
tools	Adds the option to ignore "Base" records when running the verifier. (fixes #4466)	2018-06-20 11:29:38 +02:00
world	Adds the option to ignore "Base" records when running the verifier. (fixes #4466)	2018-06-20 11:29:38 +02:00