tree fedc286317c1ad218545cbc0d2d246dea4378d86
parent de8de1ce0e498b8cc9ae39e5a7d156100bcda99b
author Werner Lemberg <wl@gnu.org> 1550675088 +0100
committer Werner Lemberg <wl@gnu.org> 1550675088 +0100

Minor documentation fixes.