diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-10-05 23:07:34 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-10-05 23:38:16 +0100 |
| commit | 579e74549dccc6f5b29a1c6e35ba49a7217fa279 (patch) | |
| tree | 14bea6f06f517538b20871779bc9ee8b7b703e36 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 4397ec5caba7f54401b277dfbf2b81c7c0e9e3c0 (diff) | |
CompCert: update to 2.4
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions