git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0b6797) | patch
In debug mode (-d) print all shell scripts executed.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 7 Jan 2020 17:10:05 +0000 (17:10 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 7 Jan 2020 17:10:05 +0000 (17:10 +0000)
commit881b2e9b7bad0da8f44418e9e6558710db5ce690
tree2eb4593511cf23ccf0ffdf469937a83e2e12be3etree | snapshot
parente0b6797d5021afa6346acb9108dcb537cbd4d758commit | diff
In debug mode (-d) print all shell scripts executed.
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.