diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-10-05 16:15:24 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-10-05 23:14:54 +0200 |
commit | 7b710836a1c7cb921f54ead64f465bcc5333d076 (patch) | |
tree | f168f4d61ff2a2b21d97272e22f954039d914a88 /gnu/system/examples/plasma.tmpl | |
parent | 97927608cb4f9c5d721115f1cb638de17ac38e62 (diff) |
doc: Suggest keeping record type descriptors private.
* doc/contributing.texi (Data Types and Pattern Matching): Add paragraph
about keeping RTDs private.
Suggested-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Diffstat (limited to 'gnu/system/examples/plasma.tmpl')
0 files changed, 0 insertions, 0 deletions