diff options
| author | Juergen Daubert <jue@jue.li> | 2013-08-18 11:43:22 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2013-08-19 19:35:14 +0200 |
| commit | 1a584d56e5fda8805132409df1d05ad757cda95a (patch) | |
| tree | b97c2ba751a57919671ff79f6497d032d0ce797e /ed | |
| parent | e13d8bb0f4cf574d90cb0f829a1d29e9e7c8594f (diff) | |
| download | core-1a584d56e5fda8805132409df1d05ad757cda95a.tar.gz core-1a584d56e5fda8805132409df1d05ad757cda95a.tar.xz | |
libgmp: use install instead of cp to install gmp.h
Diffstat (limited to 'ed')
0 files changed, 0 insertions, 0 deletions