diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-03 21:19:28 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-05 19:10:27 +0200 |
| commit | 5f620d0e221d09e9ea6da6bd46794f91c7db7e2d (patch) | |
| tree | 9f9b8fe9faf33b9e7e86b53478a04d3bca2524c9 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | ef0073410d034ce852785ac5a5e4dc7e2012a34a (diff) | |
build-idris-package: includePreludeBase -> noPrelude, noBase
Resembles idris --noprelude and --nobasepkgs arguments
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions