diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-08-17 16:02:35 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-08-17 16:02:35 +0200 |
| commit | 369a0c9354497639d96ba2fef94c920e051d00fb (patch) | |
| tree | 9e5942f51e33524370efe9f610b4bc7497cc32ac /dev/make-installer-win64.sh | |
| parent | 45779d74209a728cfd67628eaa53b42fee129f65 (diff) | |
Remove duplicate code.
Diffstat (limited to 'dev/make-installer-win64.sh')
0 files changed, 0 insertions, 0 deletions