]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/doc_translations' into 'master'
authorWu Jian Gang <wujiangang@espressif.com>
Fri, 12 Jan 2018 13:09:03 +0000 (21:09 +0800)
committerWu Jian Gang <wujiangang@espressif.com>
Fri, 12 Jan 2018 13:09:03 +0000 (21:09 +0800)
Feature/doc translations

See merge request !1718


Trivial merge