]> granicus.if.org Git - esp-idf/commitdiff
projects / esp-idf / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 146a0f8 f0dc5f8)
Merge branch 'doc/add-extension-sphinx.ext.todo' into 'master'
authorAngus Gratton <angus@espressif.com>
Fri, 13 Sep 2019 06:46:09 +0000 (14:46 +0800)
committerAngus Gratton <angus@espressif.com>
Fri, 13 Sep 2019 06:46:09 +0000 (14:46 +0800)
Add extension "sphinx.ext.todo" for todo notes in rst files. Add info how to use it.

See merge request espressif/esp-idf!6084


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