| commit | 06dd7582316a3ce0331ee3a15b34f59166497f9a | [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 | 69ac42b617f17f52343d08f90c0e17271593ff3c [diff] | |
| parent | eea20fcb0bf86cb82e6d0860644b6d185c316236 [diff] |
Merge pull request #1528 from antonio-nino-diaz-arm/an/libc libc: Cleanup library