summaryrefslogtreecommitdiff
path: root/head
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-08-19 21:28:08 +0200
committerErich Eckner <git@eckner.net>2020-08-19 21:28:08 +0200
commitd9afc7bfe479301fdd73c4d66c38ae333a9e6c3e (patch)
treedbf4b668cea0cfcd1082150aaf239ef211e594fe /head
parent92a20f77c9b0f71e59395e49c2cd652e018ae4b3 (diff)
downloadcrux-ports-d9afc7bfe479301fdd73c4d66c38ae333a9e6c3e.tar.xz
update-all: 0.7.1 -> 0.7.2
Diffstat (limited to 'head')
0 files changed, 0 insertions, 0 deletions