commit | 6d4f6aea2cd96a4a57ffa2d88b9230e2cab88f28 | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Wed Aug 22 14:40:50 2018 +0100 |
committer | GitHub <noreply@github.com> | Wed Aug 22 14:40:50 2018 +0100 |
tree | 251ed2d6ebe98576eaa9e1871f3aef753552125b | |
parent | 11dfe0b49ac8fcb5d1b516a3f52b06bc433ff4d9 [diff] | |
parent | 8422a8406b7d2d8e01c113e24eca167854981dfe [diff] |
Merge pull request #1528 from antonio-nino-diaz-arm/an/libc libc: Cleanup library