diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-07-01 17:01:11 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-07-01 17:01:11 -0500 |
| commit | f666bf4ddf3f5f50cad6e17907dae53d545444d0 (patch) | |
| tree | 79c0b4a853c2410b83cc986f99122511b5fcbc58 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e06124731c1b3c1a0d828eb49f0ecbb400aec637 (diff) | |
compcert: Correct syntax used in default.nix
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions