Skip to content
Browse files

doc: remove .html from redirect entries

No need for .html at the end of the url in redirect map.

Signed-off-by: Anas Nashif <>
  • Loading branch information...
nashif committed Jun 7, 2019
1 parent aa9b602 commit b8e7d438d55a441e6e78ef13172dcad1610ec2c4
Showing with 108 additions and 108 deletions.
  1. +108 −108 doc/

0 comments on commit b8e7d43

Please sign in to comment.
You can’t perform that action at this time.