commit | eff36cd8f06ee992218ed3f198f6a4ea19d7089c | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Fri Mar 30 22:25:35 2018 +0430 |
committer | GitHub <noreply@github.com> | Fri Mar 30 22:25:35 2018 +0430 |
tree | d101d6420b80fa04a59ebe423c43334955a0fe70 | |
parent | 9d68f73d5cf3f3df6bc5516ada987d9019d3fe3d [diff] |
Minor build related changes