diff options
author | Zoltan Herpai <wigyori@uid0.hu> | 2016-08-19 15:07:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-19 15:07:52 +0200 |
commit | 5302995c06e251c37e3818af99d4c1fdf17d5785 (patch) | |
tree | f53566968a294eaadf920ca4c3e18ce5f5f45966 /tools/mpfr/Makefile | |
parent | ac0b5e87020112dd575fff82b566cbed98eb5457 (diff) | |
parent | 470ebc51b863fa4339b72fb4efe7b37b0f936e22 (diff) | |
download | master-187ad058-5302995c06e251c37e3818af99d4c1fdf17d5785.tar.gz master-187ad058-5302995c06e251c37e3818af99d4c1fdf17d5785.tar.bz2 master-187ad058-5302995c06e251c37e3818af99d4c1fdf17d5785.zip |
Merge pull request #61 from wigyori/master
package updates, uboot-envtools fix
Diffstat (limited to 'tools/mpfr/Makefile')
0 files changed, 0 insertions, 0 deletions