aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-05-03 12:07:02 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-05-03 12:07:02 +0200
commitf5ab412da304e3970a6b5b3290758ed791c31881 (patch)
tree28ddc870029302d6a26209dba0f73b3ce692744d /doc/.gitignore
parentfa5ebd101b792fdf038394f0aaa4a4ab8e28dab6 (diff)
Pass toolchain name/version to controller
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions