tree 9db31aa9f4a56533ced1fce8e6ff60070a78115a
parent cabe433fbb81d314ad9e3cbed768dd13983a4477
author Ebrahim Byagowi <ebrahim@gnu.org> 1542310849 +0330
committer Ebrahim Byagowi <ebrahim@gnu.org> 1542313967 +0330

[math] minor, adjust spaces