06.06.2013 01:22, Peter Maydell wrote:
Personally I think a lot of the random rubbish in
our .gitignore is bogus and should be removed.
Basically anything that's an editor dropping or
.patch or TAGS file or similar is a local workflow
thing and should be dealt with by setting up a global
On 06/12/13 13:51, Michael Tokarev wrote:
06.06.2013 01:22, Peter Maydell wrote:
Personally I think a lot of the random rubbish in
our .gitignore is bogus and should be removed.
Basically anything that's an editor dropping or
.patch or TAGS file or similar is a local workflow
thing and
This partially reverts:
commit 082369e62c5bbaba89f173c2b803bc24115bb111
Author: liguang lig.f...@cn.fujitsu.com
Date: Fri Mar 22 16:44:13 2013 +0800
gitignore: ignore more files
I'm not sure how this went in. The thing is that
ignoring *.patch, in my opinion, is just wrong.
Especially
On 5 June 2013 22:16, Michael Tokarev m...@tls.msk.ru wrote:
This partially reverts:
commit 082369e62c5bbaba89f173c2b803bc24115bb111
Author: liguang lig.f...@cn.fujitsu.com
Date: Fri Mar 22 16:44:13 2013 +0800
gitignore: ignore more files
I'm not sure how this went in. The thing
在 2013-06-06四的 01:16 +0400，Michael Tokarev写道：
This partially reverts:
commit 082369e62c5bbaba89f173c2b803bc24115bb111
Author: liguang lig.f...@cn.fujitsu.com
Date: Fri Mar 22 16:44:13 2013 +0800
gitignore: ignore more files
I'm not sure how this went in. The thing is that
