Merge: src/config.in: shrink slightly
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 22 Jan 2011 00:13:42 +0000 (16:13 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 22 Jan 2011 00:13:42 +0000 (16:13 -0800)
commit7d77be379f282812eec91436b174d3d00c010cb5
tree5697f480552fbbf7b5d35beecf7dd8a8200beafe
parentf205c6e78b18365fef34192a66d139796d051f51
parentb06b1098fc4c4ee793c87c4b4b63366a1422d64f
Merge: src/config.in: shrink slightly