Commit c44a7e417ba47cd7d9a4ce609f8392f788a9e71e

Bruno Haible 2002-11-21T20:15:39

Remove case insensitive option matching.