1. 2017-04-19 Re: [fossil-users] Feature request: local .fossil-ign fossil-us David Mason 2. 2017-04-18 Re: [fossil-users] Feature request: local .fossil-ign fossil-us Ross Berteig 3. 2017-04-18 Re: [fossil-users] Feature request: local .fossil-ign fossil-us Martin Gagnon 4. 2017-04-18 Re: [fossil-users] Feature request: local .fossil-ign fossil-us Ross Berteig 5. 2017-04-18 Re: [fossil-users] Feature request: local .fossil-ign fossil-us rosscanning 6. 2017-04-18 Re: [fossil-users] Feature request: local .fossil-ign fossil-us Barry Arthur 7. 2017-04-18 [fossil-users] Feature request: local .fossil-ignore fossil-us David Mason