user-guide: More semantic markup
authorBen Gamari <ben@smart-cactus.org>
Sat, 9 Jan 2016 12:58:27 +0000 (13:58 +0100)
committerBen Gamari <ben@smart-cactus.org>
Sat, 9 Jan 2016 16:24:22 +0000 (17:24 +0100)
commit67b5cecec2257a7b146923c04c8c103e65fe36f7
treeadedbe9d70d9205e7543415f24cfcba429c66795
parent8f60fd46172623b6ccdfd51a306f9ebd2172fdfd
user-guide: More semantic markup
docs/users_guide/8.0.1-notes.rst