diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-20 21:57:37 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-12-20 21:57:37 +0100 |
commit | 2a4f1f973f167e396d8cc3ef8a29e16f8fdc5229 (patch) | |
tree | 042e66ad90452ef395613e4ddb52d80ff7797f13 /src/Version/Git.hs | |
parent | 5f47cf5f7b42570cce99322150d9a402298d2872 (diff) |
Test tools defined optionally per-proc on command line
Diffstat (limited to 'src/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions