diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-07-31 15:16:45 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-07-31 15:16:45 +0200 |
| commit | 868566a31921e1f39881ac5adcc1308131050eca (patch) | |
| tree | 99199bb34269cab1dbad5be226b0e66702f05738 /doc/tutorial | |
| parent | aeabc955c8b107e5467cb6b384b40320fb453176 (diff) | |
Remove accidentally added space character in deriving clause.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions