diff options
| author | wlestes <wlestes> | 2008-12-28 18:15:33 +0000 |
|---|---|---|
| committer | wlestes <wlestes> | 2008-12-28 18:15:33 +0000 |
| commit | 407e2609be2351671902bece33b23a96a8f77b6d (patch) | |
| tree | 02f03781cdfa4f51a3bb9f204199d3aa1f5932fb /configure.in | |
| parent | 133dd1bd70d30813d6669a91da88740474dd3ddd (diff) | |
| download | flex-407e2609be2351671902bece33b23a96a8f77b6d.tar.gz | |
specify the title on the title page since @settitle doesn't do that for us; resolves bug #2043491
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions