Harsh Parekh a32572fc96 Ignore case while sorting Library (#2048)
* Ignore case while sorting Library

* Simplify code

As suggested by @arkon
2019-05-24 09:57:05 +02:00
..
2019-04-13 14:57:58 +02:00
2017-10-14 18:16:11 +02:00
2017-10-28 14:44:19 +02:00