https://hg.paper.us.eu.org/minori/ en-us minori: dep/mini/ini.h history dep/mini/ini.h revision history *: multitude of config changes https://hg.paper.us.eu.org/minori/log/c537996cf67b/dep/mini/ini.h
1. theme is now configurable from the settings menu
(but you have to restart for it to apply)
2. config is now stored in an INI file, with no method of
conversion from json (this repo is private-ish anyway)]]> Paper <mrpapersonic@gmail.com> Fri, 03 Nov 2023 14:06:02 -0400