diff options
| author | Emilio Jesus Gallego Arias | 2019-07-06 02:40:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-06 02:40:18 +0200 |
| commit | 766ebac9797616b5abb6663e0ecc656cb11282d4 (patch) | |
| tree | 54268d4cceb2af72bafc3d22c436d4cd598043f8 /dev | |
| parent | 2c9c95e141056bde1d98d94c22545bf8de8f9268 (diff) | |
| parent | 115785b3678ef333cd5db2447f832abc7a64a8b1 (diff) | |
Merge PR #10482: Use Format.pp_print_list with conditional instead of fold for list prints in gramlib
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions