> That's what's strange...git status doesn't complain about the plugins > directory in the "old" location. In fact, I can do a "git log" in that > directory and get stuff from as recently as Jan 15.
My mistake. My guess is that git, which tracks only files, doesn't bother with that plugins dir if it contains only that .so, because *.so is in .gitignore. Bah. _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
