diff options
| author | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:07:56 +0100 |
|---|---|---|
| committer | Norwid Behrnd <nbehrnd@yahoo.com> | 2022-11-30 14:07:56 +0100 |
| commit | fcc67f098b03074a0f3fd6502dfaecff59028cc7 (patch) | |
| tree | 847069903c73407572e01c4a56569b0a39c05fe5 /standard-ml.html.markdown | |
| parent | 140b6da5cd603c04f993ca37ecd645b509d084dc (diff) | |
use asterisk for second level bullet points
Running `sed -i "s/^ +/ */" CONTRIBUTING.markdown`. This is to
be complemented by a manual correction in the lower section, too.
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions