| commit | d7c50ff0d65192fd2b7b80704e227fa108c06de3 | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Thu Nov 15 23:10:49 2018 +0330 |
| committer | Ebrahim Byagowi <ebrahim@gnu.org> | Fri Nov 16 00:02:47 2018 +0330 |
| tree | 9db31aa9f4a56533ced1fce8e6ff60070a78115a | |
| parent | cabe433fbb81d314ad9e3cbed768dd13983a4477 [diff] |
[math] minor, adjust spaces