From: Damyan Ivanov Date: Sun, 3 May 2020 11:10:26 +0000 (+0300) Subject: delete stray options of already removed profiles X-Git-Tag: v0.12.0~15 X-Git-Url: https://git.ktnx.net/?a=commitdiff_plain;h=bc16336667e46d6511236b0dfe487ee605420659;hp=bc16336667e46d6511236b0dfe487ee605420659;p=mobile-ledger.git delete stray options of already removed profiles ---