git.annexia.org / goals.git / commit
| author | Richard W.M. Jones <rjones@redhat.com> | |
| Sat, 21 Dec 2019 20:46:46 +0000 (20:46 +0000) | ||
| committer | Richard W.M. Jones <rjones@redhat.com> | |
| Sat, 21 Dec 2019 20:46:46 +0000 (20:46 +0000) | ||
| commit | ad88d061677bc17e820eac0f949723c6f3d4f6e4 | |
| tree | 957cc47847e745e57b873c9062161606ddd575e1 | tree | snapshot |
| parent | 5a6a8b2b8e515941f9a2b3cc051da646ae696251 | commit | diff |
| src/Makefile.in | diff | blob | history | |
| src/main.ml | diff | blob | history | |
| src/utils.ml | [new file with mode: 0644] | blob |
| src/utils.mli | [new file with mode: 0644] | blob |