diff options
| author | Hugo Buddelmeijer <hugo@buddelmeijer.nl> | 2025-10-05 09:50:46 +0200 |
|---|---|---|
| committer | Gabriel Wicki <gabriel@erlikon.ch> | 2025-12-23 10:33:24 +0100 |
| commit | 001cd00bcd123cd1eab6ebd1b85afd7b0aa994fa (patch) | |
| tree | 5c4988eeaf28f19ffcfb117f530076dd1709e226 /gnu | |
| parent | 7d223c3ce5f7ec6ba788d762e9747d60bfa5b5c1 (diff) | |
doc: Briefly discuss default git branch name.
* doc/contributing.texi (Building from git): Discuss branch name.
Change-Id: I9ddb9318749c7974a8724355c1a6b18a98fa9e8e
Signed-off-by: Gabriel Wicki <gabriel@erlikon.ch>
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions