diff options
author | stuebinm | 2021-11-21 20:09:15 +0100 |
---|---|---|
committer | stuebinm | 2021-11-21 20:09:15 +0100 |
commit | 95323a5c7db4b620fc3eba7c67b15af512fed267 (patch) | |
tree | 0a966f82ac5180dbfb802cb0fc1904db4f1ad4ab /walint.cabal | |
parent | ac44534ac1f55b8d36ddcdfce224955f49e50749 (diff) |
pipeline: hopefully fix it?
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions