diff options
| author | Andre Polykanine A.K.A. Menelion Elensúlë <andre@oire.org> | 2017-10-27 13:33:47 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-27 13:33:47 +0300 |
| commit | b443f3c7f24bba154314698062f25b67f4100cca (patch) | |
| tree | 1eacf5397bd061cd828dc479a103e8e846bfca5f /standard-ml.html.markdown | |
| parent | d5c14ac91aea2b341ca0fc33f7b08068bfe0ae9e (diff) | |
| parent | 3a41a6006ff421b45ae46a521b900216ac28daf7 (diff) | |
Merge pull request #2956 from SmuSmu/master
[html/en,de] improved the content a little bit
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions