diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-12-04 21:39:02 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-12-04 21:39:02 +0100 |
| commit | f8dbe63a58b4cd96dfdf0ae53c90a33e25432bf8 (patch) | |
| tree | d824d71c7e390d113c9fae63d708960b0cade254 /src/Version/Git.hs | |
| parent | a96e4f84c7f0f69704e72a9a1b08baba5aeca0c4 (diff) | |
Add other repo trees into jobset ID
Diffstat (limited to 'src/Version/Git.hs')
0 files changed, 0 insertions, 0 deletions