diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 12:13:04 +0200 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:38:54 +0200 |
| commit | 46d6fc0c326cafe6c810cc5598f7d0c8c03bf4d7 (patch) | |
| tree | d0ca92a9f0b8c27e6e3fd1686b22e0e30e55547d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e1c34ca676d56830c285ddb60aa8261cbc7884a5 (diff) | |
agda: fix dependency on more recent 'binary'
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions