diff .hgsigs @ 469:39b44ed32913

menu: capitalize the menu options in nav bar This patch capitalize the first letter of the options in nav bar.
author Pulkit Goyal <7895pulkit@gmail.com>
date Thu, 08 Dec 2016 13:48:48 +0530
parents fed71e08ab33
children
line wrap: on
line diff