diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 17:15:57 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 17:15:57 +0100 |
| commit | d9d734a417b2eec323f935e7066e5f6e23be9ff1 (patch) | |
| tree | bca2561cce8ca24ebc2889cb48249d9f82f693da /GNUmakefile | |
| parent | 80f5aabec183c8d4753c71aacfc3b4dbe9acd3e7 (diff) | |
Reduce font size and width in summary to fit the space
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions