diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-15 08:14:22 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-15 08:14:22 +0200 |
commit | 1a8a287a4f6cc441240dd2e58d243a03c341eea3 (patch) | |
tree | 3a12c00ea45fb973e07bdcdddf32ed6680eb2981 /bootstrap-mingw.bat | |
parent | 907a284e955e22de8e78c838a873b0889b33a945 (diff) |
Rename bootstrap to bootstrap.sh
Since it is a POSIX shell script (as opposed to bash script) and since we
are going to have bootstrap-*.bat.
Diffstat (limited to 'bootstrap-mingw.bat')
0 files changed, 0 insertions, 0 deletions