diff options
| author | psvenk <45520974+psvenk@users.noreply.github.com> | 2020-05-16 12:36:57 -0400 |
|---|---|---|
| committer | Jack Rosenthal <jack@rosenth.al> | 2020-05-22 13:17:19 -0600 |
| commit | 1712b0a97b8c3019284060026d8f3fd6cba8bdf2 (patch) | |
| tree | 2e96ec480a432ad24bbc091dbc54fc8c1cfc7369 /common/skin | |
| parent | 67baa7b60c207a95060fc580e9c945316069718f (diff) | |
| download | pentadactyl-1712b0a97b8c3019284060026d8f3fd6cba8bdf2.tar.gz | |
Fix parse error in options.xml
The 'showhinttext' option does not get included in options.dtd, so
options.xml had a parse error which prevented it from being accessible
from :help, so the type and default value of this option have been
hard-coded into options.xml.
Diffstat (limited to 'common/skin')
0 files changed, 0 insertions, 0 deletions