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-02 00:02:12 +0100 |
| commit | cc9ee514e37f6ec74dd9cab91a13d51f7b8d47e7 (patch) | |
| tree | 47749f4afcb3dfb19db89d3e19dc5fde035a7cb3 /.editorconfig | |
| parent | 7c1161dba4c8930d3a500a72ccaaaf50df73f466 (diff) | |
| download | guix-cc9ee514e37f6ec74dd9cab91a13d51f7b8d47e7.tar.gz | |
doc: Recommend 'match-record'.
* doc/contributing.texi (Data Types and Pattern Matching): Recommend 'match-record'.
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions