git.annexia.org / goals.git / commit
| author | Richard W.M. Jones <rjones@redhat.com> | |
| Sat, 28 Dec 2019 19:54:50 +0000 (19:54 +0000) | ||
| committer | Richard W.M. Jones <rjones@redhat.com> | |
| Sat, 28 Dec 2019 20:52:22 +0000 (20:52 +0000) | ||
| commit | 315ceff80b09b76959a067fa2f3288f22d2e55da | |
| tree | a0455af7c54629703827dbfc70539aac1e3ecc8e | tree | snapshot |
| parent | 214f84c3b07227767fef90934895a167b15113a1 | commit | diff |
| .gitignore | diff | blob | history | |
| Makefile.in | diff | blob | history | |
| configure.ac | diff | blob | history | |
| run.in | [new file with mode: 0644] | blob |
| src/Makefile.in | diff | blob | history | |
| src/config.ml.in | [new file with mode: 0644] | blob |
| src/config.mli | [new file with mode: 0644] | blob |
| src/main.ml | diff | blob | history | |
| src/utils.ml | diff | blob | history | |
| src/utils.mli | diff | blob | history |