diff options
| author | Luca Maroni <kino@urbangap.it> | 2015-09-20 02:06:53 +0200 |
|---|---|---|
| committer | Luca Maroni <kino@urbangap.it> | 2015-09-20 02:06:53 +0200 |
| commit | 52b217af04589faac6298f38302c4fad2b33542c (patch) | |
| tree | 75e22b01f002f95437c9d752a622494ff863c50e /standard-ml.html.markdown | |
| parent | cb728dc4d3117fdefe91713a8d0d129d48ad7e1d (diff) | |
Fixed lines too long and a typo (asterisco => cancelletto)
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions