Commit be107a4ef828d7225551b66d1794ec969f060ce1

Tom Tromey 1997-04-25T18:31:57

config header patch from Ian