Merge branch 'cleanup/docu-handbook' into 'master'
update handbook for 3.2
See merge request !1901 (merged)
(cherry picked from commit 32db16a9)
685278de [Handbook] add date in title page of handbook ca3e2217 [Handbook] Add section on Backwards-compatibility c26e125b [Handbook] change references from 3.1 to 3.2 and update dune versions b901ef88 [Handbook] update section on restart with double precision bca81cef [cleanup][Handbook] remove list of examples and add url to example list