| commit | b97ab8b204732b5965744d4cbeb6d553124740ce | |
| author | malc <moosotc@gmail.com> | |
| Tue, 25 Aug 2015 13:27:23 +0000 (25 16:27 +0300) | ||
| committer | malc <moosotc@gmail.com> | |
| Tue, 25 Aug 2015 13:28:21 +0000 (25 16:28 +0300) | ||
| tree | 432e2ec3f8823987dd5b2d7052c90dd8da06464f | treesnapshot (tar.gz zip) |
| parent | aff8c3ee29d741b87621dccef856f8493f482c2b | commitdiff |
Cosmetics
Prompted by `Setting Pervasive's stderr to unbuffered as default?' on
the mailing list (specifically replies by Gerd Stolpmann and Xavier
Leroy)
Prompted by `Setting Pervasive's stderr to unbuffered as default?' on
the mailing list (specifically replies by Gerd Stolpmann and Xavier
Leroy)
| config.ml | diffblobblamehistory | |
| main.ml | diffblobblamehistory |