]> granicus.if.org Git - esp-idf/commit
docs: Load page redirects from a file instead of inline in config
authorAngus Gratton <angus@espressif.com>
Sun, 23 Jun 2019 02:07:06 +0000 (12:07 +1000)
committerAngus Gratton <gus@projectgus.com>
Mon, 8 Jul 2019 07:31:27 +0000 (17:31 +1000)
commit86dbe9299ae33524e6da543a9af9b4d29c2f9fa3
tree76ae84db9e9add8110d1312452d3ab4e6f00f9d9
parent47bbb107a8deaa80692ebc3b9369ae0618c3bc56
docs: Load page redirects from a file instead of inline in config
docs/conf_common.py
docs/page_redirects.txt [new file with mode: 0644]