1. 2011-01-14 Re: weird github capitalization problem git Torsten_Bögershaus 2. 2011-01-14 Re: weird github capitalization problem git Torsten_Bögershaus 3. 2011-01-07 Re: weird github capitalization problem git Andreas Stricker 4. 2011-01-04 weird github capitalization problem git bolfo