diff options
| author | Jorge Gomez <jgart@dismail.de> | 2023-04-05 20:30:11 +0200 |
|---|---|---|
| committer | Mikael Djurfeldt <mikael@djurfeldt.com> | 2023-04-05 20:30:11 +0200 |
| commit | 1ae50a7f80654f04d93d900e17f3160205700a75 (patch) | |
| tree | f0057f5ca4b11dbc47e749fc6a3db3c9edeb3271 /benchmark | |
| parent | e9c8ca341b9d0a2b4489c5e3149a474ee610d42e (diff) | |
| download | guile-1ae50a7f80654f04d93d900e17f3160205700a75.tar.gz | |
Fix typo in append procedure documentation
Fixes <https://bugs.gnu.org/62456>.
Signed-off-by: Mikael Djurfeldt <mikael@djurfeldt.com>
Diffstat (limited to 'benchmark')
0 files changed, 0 insertions, 0 deletions