Florian Müllner 43cb3754d9 extensionSystem: Store extensions in a Map
After making the extensions map private to the ExtensionManager, we can
switch it to a proper hash table which is more appropriate.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
2019-07-20 14:17:35 +00:00
..
2019-07-12 18:54:49 +00:00
2019-07-01 23:44:11 +02:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-01 23:44:11 +02:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-02 12:17:46 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-02 12:17:46 +00:00