git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aa5680) | patch
run: Fix whitespace.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:07:07 +0000 (19:07 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:07:07 +0000 (19:07 +0000)
commit15ee921d284726fdf026025cad815ed065969ac5
tree6bc40645b1af90bcad0fe30c00dd0a465fba3d99tree | snapshot
parent6aa568027b2bbf2ddcc2471eaa4237b289685b57commit | diff
run: Fix whitespace.
src/run.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.