diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2012-12-31 12:19:50 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2012-12-31 13:17:06 -0800 |
| commit | d99ecd6c75ef7874e6b96705fa92f51735427539 (patch) | |
| tree | b86814ea8e108eb73850279c0c654707b552d10d /ChangeLog.1 | |
| parent | 53358983ebbdb88c20d1a0121398534ec03aa485 (diff) | |
| download | tar-d99ecd6c75ef7874e6b96705fa92f51735427539.tar.gz | |
maint: remove unnecessary file
* src/configure.in: Remove. This file has been obsolete for a while.
Diffstat (limited to 'ChangeLog.1')
0 files changed, 0 insertions, 0 deletions