summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorstuebinm2021-12-22 19:34:52 +0100
committerstuebinm2021-12-22 19:35:43 +0100
commitf3d0f937f8b5ae09a5a175daf72fda253627a116 (patch)
tree07df7067b855eacffe0478eba7f798d15cf9cd70 /.gitlab-ci.yml
parente2767b3b80cab6cd95831cb7045a496f4916ae9b (diff)
shorten Properties.hs
down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions