aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_GADTRecords.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-10-24 17:31:09 -0700
committerAlec Theriault <alec.theriault@gmail.com>2018-10-24 17:31:09 -0700
commita69311708493efe8524aed0e9d19365f79f2fab3 (patch)
treec9f1f4b9dd9e1469bac811ce9ea563a40f4cab1c /html-test/ref/mini_GADTRecords.html
parent67a142271f6a590a4307d30ac5c5359632ff21c4 (diff)
Resurrect the style-switcher
This fixes #810. Looks like things were broken during the quickjump refactor of the JS. For the (git) record: I do not think the style switcher is a good idea. I'm fixing it for the same reason @mzero added it; as an answer to "rumblings from some that they didn't want their pixels changed on bit"
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions