Move default numb lines into khomenu itself, decreasing it
authorSiraaj Khandkar <siraaj@khandkar.net>
Mon, 1 Aug 2022 14:48:19 +0000 (10:48 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Mon, 1 Aug 2022 14:48:19 +0000 (10:48 -0400)
and increasing font size.


No differences found
This page took 0.023217 seconds and 4 git commands to generate.