git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b14ff66) | patch
Print errors (Failure exceptions) nicely.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 23 Dec 2019 20:42:11 +0000 (20:42 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 23 Dec 2019 20:42:11 +0000 (20:42 +0000)
commit4d1ec9bf977794a92de3614737f819723687cc03
treeff7779a15d0ab320b71273e2a778eab8aa91669etree | snapshot
parentb14ff66c953e6a73e9ac2fe8d42dd68e92e58f53commit | diff
Print errors (Failure exceptions) nicely.
src/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.