diff Makefile.linux @ 32:c06edc56669b

Enable vari-sized headings.
author David Barts <davidb@stashtea.com>
date Fri, 24 Apr 2020 14:01:03 -0700
parents 9bb5dfef3d2a
children bcbc92ffe0d0
line wrap: on
line diff