Files
Michael Vogt 46ef068423 many: replace use of "sanity" with more inclusive naming
This commit replaces the use of "sanity" with more inclusive
naming. When "sanity" is used in a more general sense either
"validity" or "quick" is used.
2022-03-16 09:10:59 +01:00
..
2018-10-05 15:52:42 +02:00
2018-10-05 15:52:42 +02:00
2021-05-07 14:10:23 +03:00