git.annexia.org / goals.git / commit
| author | Richard W.M. Jones <rjones@redhat.com> | |
| Mon, 20 Jan 2020 12:20:04 +0000 (12:20 +0000) | ||
| committer | Richard W.M. Jones <rjones@redhat.com> | |
| Mon, 20 Jan 2020 12:20:04 +0000 (12:20 +0000) | ||
| commit | 614e2b7de8284ed70c004f5f2847d868c8e40e3b | |
| tree | 6d6f16d75284d6f9a9dd5c20922dd4a78819bc01 | tree | snapshot |
| parent | bed4036653ce47a91b96dd0ead65341aa80d6b97 | commit | diff |
| src/jobs.ml | diff | blob | history | |
| src/jobs.mli | diff | blob | history |