From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 1 Sep 2020 17:36:39 +0000 (+0100)
Subject: Add prooftree.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ddd9d928405d2472e7288b1303fc5dc79839d550;hp=ddd9d928405d2472e7288b1303fc5dc79839d550;p=fedora-ocaml-rebuild.git

Add prooftree.
---