Skip to content
Snippets Groups Projects
Commit ed1330b6 authored by Profpatsch's avatar Profpatsch
Browse files

Input/Download: Use an exhaustive case match 

I think we can collapse the `Nothing`/`Just False` case.
parent ee04e129
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment