summaryrefslogtreecommitdiff
path: root/opt
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-02-16 13:11:04 +0100
committerErich Eckner <git@eckner.net>2017-02-16 13:54:09 +0100
commit0d63900f5be92ef0d1f0db103d612a41076095f5 (patch)
tree9461de777ad8d5104d549fc312d982e45b1779d8 /opt
parent22174e028340e328a3ae7d8077b07f45f944751f (diff)
downloadcrux-patches-0d63900f5be92ef0d1f0db103d612a41076095f5.tar.xz
core/ports: abort on error
Diffstat (limited to 'opt')
0 files changed, 0 insertions, 0 deletions