diff options
| author | Pratik Karki <prertik@outlook.com> | 2017-08-25 14:11:50 +0545 |
|---|---|---|
| committer | Pratik Karki <prertik@outlook.com> | 2017-08-25 14:11:50 +0545 |
| commit | b4634d490df3d9e6b89f674d67450941c58d93ca (patch) | |
| tree | 95250cf2d9997ab1dff73ba3fd4c3cda3f60331e | |
| parent | c52af4dec0cbe5980d61d588d7e144f1d8c4c4fe (diff) | |
Add filename(#2832)
| -rw-r--r-- | standard-ml.html.markdown | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown index 9ebf345b..fe0f6971 100644 --- a/standard-ml.html.markdown +++ b/standard-ml.html.markdown @@ -1,5 +1,6 @@ --- language: "Standard ML" +filename: standardml.sml contributors: - ["Simon Shine", "http://shine.eu.org/"] - ["David Pedersen", "http://lonelyproton.com/"] |