aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-10-12 10:51:29 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-10-12 10:51:29 +0200
commit071929539b26dfcb0fa3887e2fd6c0224ff2e5df (patch)
treeef86db711acf46e92ae3a1cefdaf75309e941597 /doc/.gitignore
parent08fa9540f080bb458b43cb4bdeeac663c1bfd595 (diff)
Extract version from manifest in bootstrap script
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions