author | Hauke Mehrtens <hauke@hauke-m.de> | |
Sun, 17 Apr 2016 12:52:17 +0000 (12:52 +0000) | ||
committer | Hauke Mehrtens <hauke@hauke-m.de> | |
Sun, 17 Apr 2016 12:52:17 +0000 (12:52 +0000) | ||
commit | 0fa3243f12cd1e29035ce67f062f5f493bb8b6c4 | |
tree | 5b74607cea3f8ef08eb6da85022b158ea4820107 | tree | snapshot |
parent | 0935db977a2ee2b3318bad72d60ba3f3cf31ad77 | commit | diff |
tools/mpfr/Makefile | diff | blob | history | |
tools/mpfr/patches/001-only_src.patch | diff | blob | history |