diff options
| author | Joris | 2016-03-20 22:04:11 +0100 |
|---|---|---|
| committer | Joris | 2016-03-20 22:04:11 +0100 |
| commit | 5edfb35f6be596e9d91df6690b9977c783bb147b (patch) | |
| tree | 537c7f62879884a57957d90cf0f284a1bff51745 /.gitignore | |
| parent | 28f8f4d52e72953ed8bdf1518a259c8b57ed3596 (diff) | |
Return Either instead of Maybe for lookup
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions