git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c46c3a5) | patch
Fix file() -> *file() in comment about tactics.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 25 Dec 2019 14:34:07 +0000 (14:34 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 25 Dec 2019 21:52:38 +0000 (21:52 +0000)
commitaee116c9e7614b10199261535ee87203ffa9a81e
tree8523d04efac274f8a5b5c0c3da5806d9d956cf66tree | snapshot
parentc46c3a5c7793753f2f15c1655517f3f9b8fee644commit | diff
Fix file() -> *file() in comment about tactics.

Updates commit b14ff66c953e6a73e9ac2fe8d42dd68e92e58f53.
src/ast.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.