mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-15 03:00:30 +00:00
49680acf08
SpiderMonkey now has its own copy of some of the files from ./config and ./build. Since there is a decent amount of churn in that area, I don't want it to become a burden to make merges back and forth. This patch adds a comment explaining the 'identical if present' policy, and runs a script to verify that it's actually being observed. |
||
---|---|---|
.. | ||
admin | ||
build | ||
config | ||
lib | ||
pkg | ||
pr | ||
tools | ||
.cvsignore | ||
configure | ||
configure.in | ||
Makefile.in |