5 Commits

Author	SHA1	Message	Date
Davide De Rosa	a0ff420f54	Add dot as legal char in profile title ... Fixes #22	2018-11-02 14:06:04 +01:00
Davide De Rosa	b7dc72a5e9	Sort hosts ignoring case	2018-10-27 16:56:41 +02:00
Davide De Rosa	0d14349bca	Move filename charset to extensions	2018-10-27 12:08:44 +02:00
Davide De Rosa	be6abdcf2a	Move file-to-lines to String extension	2018-10-21 09:36:50 +02:00
Davide De Rosa	b9ec01945d	Initial commit	2018-10-11 09:13:19 +02:00