diff options
| author | Marcel Ribeiro Dantas, Ph.D <ribeirodantasdm@gmail.com> | 2022-07-10 12:13:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-10 12:13:13 +0200 |
| commit | 91367a1730a0cb5cfcaf250812775a153c8ce780 (patch) | |
| tree | 3285f95c46e73cef2cbc661b53ade9545636e2b1 /elm.html.markdown | |
| parent | 5e6dd980d9bdb6474e8bb34fbc786ba7ec0054ce (diff) | |
Fix filename as pointed out in #4436
The incorrect filename in this file was overwriting the one provided in the original document in English. This commit fixes this.
Diffstat (limited to 'elm.html.markdown')
0 files changed, 0 insertions, 0 deletions