Source file patience_diff_lib.ml

1
2
module Patience_diff = Patience_diff
module Plain_diff = Plain_diff