diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
| commit | 09622311aa51487cd9cd98e8cbd8da5987bcad18 (patch) | |
| tree | 6ebd99d77b373c843015a53e0428a06736ed35c5 /data/patches | |
| parent | 0d17f6aeab217192675591b771f472802ae52e3d (diff) | |
Tune-up build scripts for multi-platform batch building
Diffstat (limited to 'data/patches')
0 files changed, 0 insertions, 0 deletions