| commit | d5cd47a69c40966b4d5b5aed87dd7ac6f070c37a | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Tue Jul 17 22:32:37 2018 +0430 |
| committer | GitHub <noreply@github.com> | Tue Jul 17 22:32:37 2018 +0430 |
| tree | 52bcb9ce7dcba9b396ec1e626f89161212314b1c | |
| parent | 1e9e344b2ba076a5fd6d57d1705e17a59c3875ce [diff] |
Remove AAT's gcid/fmtx (#1099) We are not going to use them, at least in the foreseeable future