| commit | b5b2d11404acd4441ed754d46797948080a1b651 | |
| author | ygrek <ygrek@autistici.org> | |
| Wed, 24 Jun 2015 00:15:40 +0000 (23 17:15 -0700) | ||
| committer | ygrek <ygrek@autistici.org> | |
| Wed, 24 Jun 2015 00:15:40 +0000 (23 17:15 -0700) | ||
| tree | d4b296cae5e7eb60da7a50af7e0ce395bdd6a38f | treesnapshot (tar.gz zip) |
| parent | 973be3ed801f88e73bae6413d661088a4d269d84 | commitdiff |
more robust extension detection
| .gitignore | diffblobblamehistory | |
| configure | diffblobblamehistory | |
| configure.in | diffblobblamehistory | |
| print_ext.ml | diffblobblamehistory |