tree 8614a7cd26db1f6ec27cef31d9a6e1c1e8d5f859
parent a41e560b213d72f36c37b7b25960839de7d29fd0
author Alexei Podtelezhnikov <apodtele@gmail.com> 1561258497 -0400
committer Alexei Podtelezhnikov <apodtele@gmail.com> 1561258497 -0400

Doc polishing.