|
| From: | martin rudalics |
| Subject: | Re: .deps/ and .gitignore? |
| Date: | Sat, 29 Jul 2017 10:00:45 +0200 |
> If you have > an old .deps subdirectory lying around from March-or-earlier builds, > you should just remove it. This is confusing. Do I remove the .deps/ subdirectory or the src/lib/ one? It's the latter here that gets marked as untracked. martin
| [Prev in Thread] | Current Thread | [Next in Thread] |