Commit 1225bb79222b36a13bc8690f072a7ef7b42171a8

Bruno Haible 2006-07-19T19:17:57

Upgrade config.* files.