aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.html2ps
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-08-15 08:14:22 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-08-15 08:14:22 +0200
commit1a8a287a4f6cc441240dd2e58d243a03c341eea3 (patch)
tree3a12c00ea45fb973e07bdcdddf32ed6680eb2981 /doc/doc.html2ps
parent907a284e955e22de8e78c838a873b0889b33a945 (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