
git-subtree-dir: tracetools_launch git-subtree-mainline:a507bbce6e
git-subtree-split:f673331bd1
4 lines
103 B
INI
4 lines
103 B
INI
[develop]
|
|
script-dir=$base/lib/tracetools_launch
|
|
[install]
|
|
install-scripts=$base/lib/tracetools_launch
|