diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-11-06 17:18:09 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-11-07 10:08:08 +0100 |
| commit | 742bce7793502e00736e49d6f8ed13952c7f3ba1 (patch) | |
| tree | 22ef95caeff94b7dc4eb1707c67b294a920561ec /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 406405d8bd419627114217a8c9f08593adff1372 (diff) | |
buildDunePackage: inline dune.installPhase for easier overriding
Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions