comparison singletune.fmt @ 650:9982077ac9b2

Update tune format files. In the main one, just remove a couple of now deprecated settings that did nothing anyway. For the web format, which is actually the format used to generate the downloadable PDFs, bring it into line with the main format but leave the margins at the default settings. Also remove the deprecated settings.
author Jim Hague <jim.hague@acm.org>
date Thu, 10 Nov 2016 00:47:55 +0000
parents cbe9c10b5a3e
children d0c4d706d031
comparison
equal deleted inserted replaced
647:b12ce78e9af4 650:9982077ac9b2
16 infoname B 16 infoname B
17 infoname D 17 infoname D
18 infoname Z 18 infoname Z
19 infoname H 19 infoname H
20 infoname N 20 infoname N
21 infoline false
22 writehistory true
23 continueall false