modernize manual for current browsers
authorChristian Grothoff <christian@grothoff.org>
Thu, 8 Mar 2018 13:24:32 +0000 (14:24 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 8 Mar 2018 13:24:32 +0000 (14:24 +0100)
commit5c81865455a2d6e42838047e86a19c4a2441a28e
tree39fe7100f3504201045ab040abb17c4011fd7b45
parent17f98215f27d61d966cb1d7a11197e102b785d16
modernize manual for current browsers
doc/documentation/chapters/user.texi