
git-subtree-dir: tracetools_trace git-subtree-mainline:4d434fa182
git-subtree-split:29b1c6d50b
4 lines
101 B
INI
4 lines
101 B
INI
[develop]
|
|
script-dir=$base/lib/tracetools_trace
|
|
[install]
|
|
install-scripts=$base/lib/tracetools_trace
|