diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-11-19 22:40:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-12-08 13:21:35 +0100 |
| commit | 883aa80b45c10628322c52f9912188d3a85b5639 (patch) | |
| tree | f15d68136852637faeb65fe3903255063dc020cd /etc/source-manifest.scm | |
| parent | 754a7660a1716998b557aedeb805ee9040afdcdf (diff) | |
doc: Recommend 'match-record'.
* doc/contributing.texi (Data Types and Pattern Matching): Recommend
'match-record'.
Diffstat (limited to 'etc/source-manifest.scm')
0 files changed, 0 insertions, 0 deletions