git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a456c9) | patch
run: Set OCAMLRUNPARAM to display stack traces by default.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Jan 2020 20:52:36 +0000 (20:52 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Jan 2020 20:52:36 +0000 (20:52 +0000)
commit11542de0c20b4c20f51838d6839bb420f3c15a07
tree20c779be687fbce55f6ddf54aaddc6c41551556ftree | snapshot
parent5a456c968ee7e7bbe477ae4e756967c4aa2e3fc1commit | diff
run: Set OCAMLRUNPARAM to display stack traces by default.
run.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.