diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-11 20:25:15 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-11 20:25:15 +0200 |
commit | d6c4daa2fb0b7f8dd0afb3ef50b2b85106bfd2ac (patch) | |
tree | a204b588dcd58f5da0f851024f80ed9179b7d6bd /src/Version | |
parent | 75f57ad0287c8aa1a217ec90cbc8533cc3b8d799 (diff) |
Evaluate job and jobset in the Eval monad
Diffstat (limited to 'src/Version')
0 files changed, 0 insertions, 0 deletions