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 /doc/doc.html2ps | |
| 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 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions