log Docs/options.md @ 1341:9f35c15329d1 default tip @

age author description
Wed, 10 Nov 2021 08:32:41 +0100 David Demelier misc: add more options
Wed, 18 Sep 2019 21:01:00 +0200 David Demelier vanilla: consolidate licenses and many options
Mon, 26 Aug 2019 20:20:00 +0200 David Demelier vanilla: rename FREETYPE to TTF, closes #2202
Mon, 05 Aug 2019 13:19:31 +0200 David Demelier vanilla: consolidate options with lint-options.sh
Fri, 02 Aug 2019 21:20:00 +0200 David Demelier vanilla: update documentation