diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-11-25 21:13:25 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-11-25 22:23:26 +0100 |
| commit | b100f6e64074c761327e1113a0c8afaf74091a23 (patch) | |
| tree | 10d241594cce1f153886c3fe4b6893c1d1f59d5e /src/Config.hs-boot | |
| parent | 5b19d70e6bb70f951e6a7c1670c54db640eaa1d0 (diff) | |
Add Config reference to JobSet
Diffstat (limited to 'src/Config.hs-boot')
| -rw-r--r-- | src/Config.hs-boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Config.hs-boot b/src/Config.hs-boot new file mode 100644 index 0000000..ee6b0d1 --- /dev/null +++ b/src/Config.hs-boot @@ -0,0 +1,3 @@ +module Config where + +data Config |