Mike Hearn 5f048889f0 Merged in mike-tweak-erroror (pull request #343)
Minor: move ErrorOr into the core module and tweak its API a bit. Add a Path div operator.
2016-09-09 11:29:22 +02:00
..