Alex Zherdev 11c0adcc95 Fix header link generation for non-English docs (#7497)

2016-08-18 14:55:50 -07:00

..

authors.rb

…

header_links.rb

Fix header link generation for non-English docs (#7497)

2016-08-18 14:55:50 -07:00

highlight_lines.rb

…

sidebar_item.rb

…