diff options
| author | Ahmad Fatoum <ahmad@a3f.at> | 2015-06-19 23:11:38 +0200 |
|---|---|---|
| committer | Ahmad Fatoum <ahmad@a3f.at> | 2015-06-19 23:11:38 +0200 |
| commit | e4931ee126a23a851c6a2ab474e84996e1b28f3e (patch) | |
| tree | 5025c40062aabec01b8098a215fcc7c8a08a13e4 /standard-ml.html.markdown | |
| parent | 20656f063118e6c6df32b5e71bedf4dc6c4dbf9e (diff) | |
Fixed misinfo regarding sigils
also # is more commonly called number sign than number symbol.
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions