diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2018-12-11 00:42:53 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-11 00:42:53 +0530 |
| commit | b748fcffe9308fd3bd55b40a77f233da048d6623 (patch) | |
| tree | 7452616c30cf7739958fa649528ff8ef71891f15 /purescript.html.markdown | |
| parent | 8b5de74319b9346869bf614316052c34d9b38581 (diff) | |
| parent | 090876533bf0bab4b089210e73b4ee3f9c86ecb8 (diff) | |
Merge pull request #3416 from nenadom/patch-1
[racket/en] Fix section numbering
Diffstat (limited to 'purescript.html.markdown')
0 files changed, 0 insertions, 0 deletions