| commit | 00fb457638bd9064c5743ff77a676b4df360be7d | |
| author | ygrek <ygrek@autistici.org> | |
| Tue, 5 Nov 2013 15:19:16 +0000 (5 16:19 +0100) | ||
| committer | ygrek <ygrek@autistici.org> | |
| Sun, 2 Mar 2014 06:31:21 +0000 (2 14:31 +0800) | ||
| tree | 27612703146424a7354ad0f413fb5946e18cd632 | treesnapshot (tar.gz zip) |
| parent | 61a7fdbe1933fb3894e4603dbe98d6c48cfc00e1 | commitdiff |
printf2: add ?exn parameter for easy exception printing
| src/utils/cdk/printf2.ml | diffblobblamehistory | |
| src/utils/cdk/printf2.mli | diffblobblamehistory |