Tool and library implementing patience diff
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src v0.11.120.00+105 Sep 7, 2018
test v0.11.120.00+105 Sep 7, 2018
.gitignore 114.35+03 Mar 7, 2017
CHANGES.md 113.24.00 Jan 12, 2016
CONTRIBUTING.md v0.11.117.08+54 May 23, 2018
LICENSE.md v0.11.117.08+54 May 23, 2018
Makefile v0.11.117.08+54 May 23, 2018
patience_diff.opam v0.11.117.12+87 Jun 25, 2018