commit | d79493e5ee377ea81509de712fb00c82c43c6813 | [log] [tgz] |
---|---|---|
author | Victor Zverovich <victor.zverovich@gmail.com> | Tue Nov 19 09:50:59 2019 -0800 |
committer | Victor Zverovich <victor.zverovich@gmail.com> | Tue Nov 19 09:50:59 2019 -0800 |
tree | 8ff74fbda510bcaf39ea28d365967dce27ddf9db | |
parent | 78842ce0d6a445c7be8cb48fe867a0d3c7cbf11a [diff] |
Remove Grisu2