expand preface
authorChristian Grothoff <christian@grothoff.org>
Mon, 14 May 2018 18:37:04 +0000 (20:37 +0200)
committerChristian Grothoff <christian@grothoff.org>
Mon, 14 May 2018 18:37:04 +0000 (20:37 +0200)
commitabb507884f5e3ac062b6b7f84a02ad6acb0fabc2
tree81bff55edbef3267328fb50d1c0136275564ebf3
parente688aa8f480d9f30bd986db72fbdde180b82378e
expand preface
doc/documentation/chapters/preface.texi