git.annexia.org / goals.git / commit
| author | Richard W.M. Jones <rjones@redhat.com> | |
| Thu, 9 Jan 2020 18:11:26 +0000 (18:11 +0000) | ||
| committer | Richard W.M. Jones <rjones@redhat.com> | |
| Thu, 9 Jan 2020 18:11:26 +0000 (18:11 +0000) | ||
| commit | 0aead2922062dc8a4e7dc88fe7776f92ac6c232a | |
| tree | 574e3b6ed5d00bde6be901c28b3dccdf927e2ec3 | tree | snapshot |
| parent | d06b73832126c575927af40f3ebf574e8621b2a8 | commit | diff |
| src/utils.ml | diff | blob | history | |
| src/utils.mli | diff | blob | history |