diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-09-08 19:25:14 +0200 |
|---|---|---|
| committer |   Ulrich Müller <ulm@gentoo.org> | 2019-09-08 19:55:09 +0200 |
| commit | c87c36a654840d2885f2f26a6f7fac65e6c5e2bf (patch) | |
| tree | e4d6abc2835c002f0210a76de5494a959b4a2dc8 /profiles/make.defaults | |
| parent | Remove empty TODO pages. (diff) | |
| download | devmanual-c87c36a654840d2885f2f26a6f7fac65e6c5e2bf.tar.gz devmanual-c87c36a654840d2885f2f26a6f7fac65e6c5e2bf.tar.bz2 devmanual-c87c36a654840d2885f2f26a6f7fac65e6c5e2bf.zip | |
general-concepts/licenses: Use sections instead of subsections
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'profiles/make.defaults')
0 files changed, 0 insertions, 0 deletions