diff 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
line wrap: on
line diff
--- a/singletune.fmt	Tue Nov 08 21:18:00 2016 +0000
+++ b/singletune.fmt	Thu Nov 10 00:47:55 2016 +0000
@@ -18,6 +18,3 @@
 infoname Z
 infoname H
 infoname N
-infoline false
-writehistory true
-continueall false