1. 2013-01-17 Re: [unison-users] ignore options inside GUI? unison-us Alan Schmitt 2. 2013-01-17 [unison-users] ignore options inside GUI? unison-us jrls2001