[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: \bigger and \larger: that's one too many
|
From: |
Valentin Villenave |
|
Subject: |
Re: \bigger and \larger: that's one too many |
|
Date: |
Wed, 8 Oct 2008 20:11:07 +0200 |
2008/10/6 Trevor Daniels <address@hidden>:
> So I definitely prefer \larger.
Here is a patch that removes \bigger.
Okay to push? If it is, I'll add a NEWS item.
Cheers,
Valentin
0001-Removed-bigger-markup-command-use-larger-instead.patch
Description: Binary data