reduz 746dddc067 Replace most uses of Map by HashMap ... * Map is unnecessary and inefficient in almost every case. * Replaced by the new HashMap. * Renamed Map to RBMap and Set to RBSet for cases that still make sense (order matters) but use is discouraged. There were very few cases where replacing by HashMap was undesired because keeping the key order was intended. I tried to keep those (as RBMap) as much as possible, but might have missed some. Review appreciated!		2022-05-16 10:37:48 +02:00
..
export.cpp	Generate export template file names instead of having a fixed set	2022-03-22 10:16:03 -05:00
export.h	Update copyright statements to 2022	2022-01-03 21:27:34 +01:00
export_plugin.cpp	Replace most uses of Map by HashMap	2022-05-16 10:37:48 +02:00
export_plugin.h	Replace most uses of Map by HashMap	2022-05-16 10:37:48 +02:00