diff options
| author | Thierry Vignaud <thierry.vignaud@gmail.com> | 2015-05-18 05:44:45 +0200 |
|---|---|---|
| committer | Thierry Vignaud <thierry.vignaud@gmail.com> | 2015-05-18 05:44:45 +0200 |
| commit | 3f1b119d46971a63539be4a700222f2e9fa550dc (patch) | |
| tree | efc615eb436c9c241a1d407e707a177d6fbce870 /src/info.ml | |
| parent | 10685c1e1f7319503ec9288c76eaf1de5f9a2368 (diff) | |
| download | perl_checker-3f1b119d46971a63539be4a700222f2e9fa550dc.tar perl_checker-3f1b119d46971a63539be4a700222f2e9fa550dc.tar.gz perl_checker-3f1b119d46971a63539be4a700222f2e9fa550dc.tar.bz2 perl_checker-3f1b119d46971a63539be4a700222f2e9fa550dc.tar.xz perl_checker-3f1b119d46971a63539be4a700222f2e9fa550dc.zip | |
simplify as we only handle git
Diffstat (limited to 'src/info.ml')
0 files changed, 0 insertions, 0 deletions