Merge branch 'master' into new-website

This commit is contained in:
John J. Camilleri
2018-11-02 14:07:00 +01:00
2 changed files with 1 additions and 5871 deletions

File diff suppressed because it is too large Load Diff

View File

@@ -9,6 +9,7 @@ December 2010 for GF 3.2
%!target:html
%!encoding: iso-8859-1
%!options: --toc
%!postproc(tex) : "\\subsection\*" "\\newslide"
%!preproc(tex): "#NEW" ""