diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2018-12-07 21:48:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-07 21:48:34 -0500 |
| commit | 2da30b1384147915922091fa17ce18fc9d0d6a8d (patch) | |
| tree | 8a00f68b324a1d146fcc4c45aee1564dc555be16 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 0e8e02e686363de53ad80953c265cf11a95304f4 (diff) | |
| parent | 3b6de728362bb9047d19ca418a9ecd48b7e5f534 (diff) | |
Merge pull request #49918 from cocreature/agda-env
agda: use writeShellScriptbin instead of writeScriptBin
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions