Miriam Baglioni 986c97348d added the ignorecase option to each selection verb		2020-04-27 12:31:05 +02:00
..
bulktag	refactoring	2020-04-24 10:47:43 +02:00
community	refactoring	2020-04-24 10:47:43 +02:00
selectioncriteria	added the ignorecase option to each selection verb	2020-04-27 12:31:05 +02:00