diff options
author | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·34+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·43+0000 |
commit | 54684f6c345dacf8a8122023c8c205d991e99044 (patch) | |
tree | 7f551e22579f3daf994aebb7ead26612ff156d9d /tools | |
parent | 0c51608f6c11fd8e15679d77e7a9ae8c3a51fe78 (diff) |
feat(users/Profpatsch/aerc): use toINI r/4013
Uses the list-based toINI, which removes a lot of the complications caused by the INI DSL (it was fun to write but really not necessary). Change-Id: Ia6c30a726662416c99ed74f9eb33537573543383 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5530 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions