diff options
author | stuebinm | 2021-12-23 02:55:52 +0000 |
---|---|---|
committer | stuebinm | 2021-12-23 02:55:52 +0000 |
commit | 9fd195314d30658052d2bdfd3bcd7a1da4485bed (patch) | |
tree | 66802980fc0faf9ab2b15f2bc58120f307303aac /src/Version.hs | |
parent | ebfc8be95e83852081d8dc93d2bf4717df18583e (diff) | |
parent | c82e15aebf3c9d88116be75082d938be8c4d635e (diff) |
Merge branch 'extended-scripts' into 'main'
Extended scripts support
See merge request hub/walint!1
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions