diff options
| author | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:15:44 +0100 |
|---|---|---|
| committer | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:15:44 +0100 |
| commit | f33c10645494888c2f0d0c046bde20d1e0223462 (patch) | |
| tree | 4135ed533ef60733925b3e0e7a5cedfa377ab566 /purescript.html.markdown | |
| parent | fcc67f098b03074a0f3fd6502dfaecff59028cc7 (diff) | |
manual adjustments, second level of indentation
Manual adjustments and light edits to stay within the 80 character
limit per line. Manual dedent of second level entries met in the
lower part of the document.
Diffstat (limited to 'purescript.html.markdown')
0 files changed, 0 insertions, 0 deletions