| commit | b4282dd15079ed46edc9d382b21422320a0af94f | [log] [tgz] |
|---|---|---|
| author | Pablo Galindo <Pablogsal@gmail.com> | Fri Jun 12 00:51:44 2020 +0100 |
| committer | GitHub <noreply@github.com> | Fri Jun 12 00:51:44 2020 +0100 |
| tree | 851b2e671dac3b783702e890e58234802fe01167 | |
| parent | 60c2a810e37994fc640c58d0ef45b6843354b770 [diff] |
Remove unnecessary grammar decorations and change header (GH-20819)