1. 2010-06-24 Re: [fossil-users] usage of fossil settings ignore-gl fossil-us Richard Hipp 2. 2010-06-24 Re: [fossil-users] usage of fossil settings ignore-gl fossil-us Kevin Greiner 3. 2010-06-24 [fossil-users] usage of fossil settings ignore-glob i fossil-us Kohn Bernhard