git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db046c1) | patch
Add prooftree.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 1 Sep 2020 17:36:39 +0000 (18:36 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 1 Sep 2020 17:36:39 +0000 (18:36 +0100)
commitddd9d928405d2472e7288b1303fc5dc79839d550
tree517c333560882daa29a3b3261898bcd69b16ccb8tree | snapshot
parentdb046c179a850df45638e1982a08dd0e0dcc1fd1commit | diff
Add prooftree.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.