fix
authorChristian Grothoff <christian@grothoff.org>
Fri, 26 Jul 2019 08:15:19 +0000 (10:15 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 26 Jul 2019 08:15:19 +0000 (10:15 +0200)
commit8a9578a335df0090c3728ce68ac374653f369950
treea4f44ee3966fd13befb0bba8289fd1d515edd6f9
parente8311f08b22b44e2ff889b3128550dca09e54608
fix
doc/handbook/chapters/installation.texi