diff options
author | Andrey Andreev <narf@devilix.net> | 2020-01-27 18:40:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-27 18:40:36 +0100 |
commit | e7c36079d6885ee9bd25f8cae70f0049d46b9d60 (patch) | |
tree | 97936ac3332411d56a1caedc87112a416b1fced2 /user_guide_src/Makefile | |
parent | ecc8d4f89dd13a222fa681b19af5f1a07466f290 (diff) | |
parent | 743f8256a0987922e8c9a1888b3f5e06bc2cf3bf (diff) |
[ci skip] Merge pull request #5891 from franciscollanquipichun/develop
Inserted required attribute `lang` in html tags
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions