]> granicus.if.org Git - esp-idf/commitdiff
projects / esp-idf / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a33c5f1 7ba0310)
Merge branch 'bugfix/docs_recover_some_build_time_v3.1' into 'release/v3.1'
authorAngus Gratton <angus@espressif.com>
Mon, 29 Jul 2019 11:17:36 +0000 (19:17 +0800)
committerAngus Gratton <angus@espressif.com>
Mon, 29 Jul 2019 11:17:36 +0000 (19:17 +0800)
docs: Remove building of zipped HTML docs from build process and consequently...

See merge request espressif/esp-idf!5641


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.