diff options
| author | Profpatsch <mail@profpatsch.de> | 2019-01-13 06:52:39 +0100 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2019-01-13 13:06:23 +0100 |
| commit | 14572e2a8c7a592e5f6880fcb46ac6f613b99d59 (patch) | |
| tree | ecb9e15f6b5943b4dad0c73c4c73546616ec2b11 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b5c6156062789adb83bf77e15b7bb28b3a6ab750 (diff) | |
anki: add manual output
The Anki manual is distibuted in a separate repository and has to be
patched a bit to work offline.
The in-program manual now points to our distributed offline version.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions