diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-07-18 13:52:23 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-07-18 13:52:23 +0300 |
| commit | 548b7b182fcaea5acb5601be718899d92a0d10af (patch) | |
| tree | 6772cad1c023141eadbf11dda256bd76e567b3db /gnu/packages/patches/python-flint-includes.patch | |
| parent | 4ca19e88de3dd634b08a5c08dbb3d6e9957dbe83 (diff) | |
gnu: tig: Rebuild some of the generated documentation.
* gnu/packages/version-control.scm (tig)[source]: Add snippet to remove
some of the generated documentation.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions