]> gitweb.factorcode.org Git - factor.git/commit
Increased font size in help header path
authornicolas-p <z.nicolas@gmail.com>
Wed, 22 Jul 2015 17:57:23 +0000 (19:57 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:29 +0000 (07:53 -0700)
commitfaa2ad6d60a0011c03da605ca61a5695deff1037
tree6a80268958247e12c532cc4385b2e28519bb9709
parentd3b27e44b486ae93c331ccd0e821def1c9c4a7dd
Increased font size in help header path
basis/help/stylesheet/stylesheet.factor