-
Pablo Santiago Blum de Aguiar authored
I didn't have much time to invest in `tools/generate-themes.doc.fish`, unfortuntely. It's far from perfect, but fairly usable. Please, refer to instructions in the header. Fix #795, #800, #771
f2236213
I didn't have much time to invest in `tools/generate-themes.doc.fish`, unfortuntely. It's far from perfect, but fairly usable. Please, refer to instructions in the header. Fix #795, #800, #771