log dottes.tex.tune @ 1096:fb37aa6c0e42 default tip

age author description
Thu, 26 Apr 2018 16:47:12 +0100 Jim Hague Fix broken attempt at removing tradition from printed output. build-default-300
Thu, 26 Apr 2018 14:07:50 +0100 Jim Hague Don't display tradition on website or print.