| commit | a5da61f603f7e5e3a9e4c1f51a2a6806de09e29c | |
| author | malc <moosotc@gmail.com> | |
| Tue, 29 Nov 2016 13:00:05 +0000 (29 16:00 +0300) | ||
| committer | malc <moosotc@gmail.com> | |
| Tue, 29 Nov 2016 13:00:05 +0000 (29 16:00 +0300) | ||
| tree | dfaf94b42215733f242f37a72c2902bc81de6438 | treesnapshot (tar.gz zip) |
| parent | cdcb47d1029d1d3fc34b8f5f1042f2636458a331 | commitdiff |
Use ADT instead of polyvariants
| keys.ml | diffblobblamehistory | |
| main.ml | diffblobblamehistory | |
| wsi.ml | diffblobblamehistory |