jiazou/4bp — comment on commit 64c40d42e63064752ebbad703244502d15f7987e
File: .project line 0
By zhanghao8301:

have we decided to use eclipse? If not and everybody uses their own dev kit, we should probably git rm this.