diff options
| author | Florian Klink <flokli@flokli.de> | 2018-06-28 23:48:38 +0200 |
|---|---|---|
| committer | Florian Klink <flokli@flokli.de> | 2018-06-28 23:54:02 +0200 |
| commit | 6cabce9abd916f219c1c003719f2e8ba547654c3 (patch) | |
| tree | e36001082b73a3a7c0a5882cbb91e818528a9de2 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 9f36618dca41e394470cfb58f2aaf1298f5d519d (diff) | |
manual: rename users.extraUsers to users.users
Is called like this since 14321ae2431e33f5ed81f1ee43eddd29c7e9d01d, but
docs were still using the old option in some cases.
Reported-By: Cedric Shahabi <cedric.shahabi@gmail.com>
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions