git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86051da) | patch
Fix ‘goal’ when it appears as a target (meaning ‘goal()’).
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 31 Dec 2019 09:08:35 +0000 (09:08 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 31 Dec 2019 09:09:04 +0000 (09:09 +0000)
commit7b7cd85810f18286a36215cc164b659bf7db142c
tree353fe937a2608f65421d74abf909e20230eade5dtree | snapshot
parent86051da22cc2a0be9766de20a33fe1cd24b0421ecommit | diff
Fix ‘goal’ when it appears as a target (meaning ‘goal()’).
src/eval.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.