diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
| commit | 8440205d3e76356739f0f610ea2519a9d2dc4ec5 (patch) | |
| tree | 320b949503c02035087943de062dd9b52eb63209 /configure.in | |
| parent | 2e9c7cb702138afad5e5c138ea3071c7fc1ec940 (diff) | |
| download | mdk-8440205d3e76356739f0f610ea2519a9d2dc4ec5.tar.gz mdk-8440205d3e76356739f0f610ea2519a9d2dc4ec5.tar.bz2 | |
new menu item to change all fonts at once.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions