diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:36 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:36 -0500 |
| commit | aac7789461d2f2106a3ea6c2fe0b068dd3d7fdfb (patch) | |
| tree | 81c0695969cc7cc7b40a5370e231d3d18266d2d4 /makeicecat | |
| parent | 70c733d876172ec2676a833a0a8e2a3ddb602b20 (diff) | |
Small correction to build scripts
Diffstat (limited to 'makeicecat')
0 files changed, 0 insertions, 0 deletions