summaryrefslogtreecommitdiff
path: root/opt
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-07-05 06:41:43 +0200
committerErich Eckner <git@eckner.net>2018-07-05 06:41:43 +0200
commit3d367a4977ec1b3c363cf360a8c5cfe4542dd0ad (patch)
tree76371a8cbebfed9244be538cca1df769be15b076 /opt
parent3be85a70a237ef83253e8da308d8b91b029e1e6d (diff)
downloadcrux-patches-3d367a4977ec1b3c363cf360a8c5cfe4542dd0ad.tar.xz
core/ports: do not create .md5sum if non-existent
Diffstat (limited to 'opt')
0 files changed, 0 insertions, 0 deletions