diff options
| author | Hugo Buddelmeijer <hugo@buddelmeijer.nl> | 2025-12-23 12:10:54 +0100 |
|---|---|---|
| committer | Rutherther <rutherther@ditigal.xyz> | 2026-01-15 19:07:34 +0100 |
| commit | d08d7c6e5f640ceba4e84ca950fb771b4c5c1117 (patch) | |
| tree | 50872283be97e5ebfa7f91fd7b5b9303f0e84dfd /po | |
| parent | 74d6654633ba8d37ebd1649bddbbc43cda4b81cc (diff) | |
doc: Better explain extra development tools when building from git.
* doc/contributing.texi (Building from Git): Better explain adding tools.
Change-Id: I47fb9e5414edc5eebce64d25db6998cc51985fcb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #4821
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions