3684204f5a
This means we'll get an empty diff if there are no generator changes, so update the logic that detects/reports empty generator diffs. Also there's no need to ignore mdbs anymore, since we don't create mdbs. |
||
---|---|---|
.. | ||
apidiff | ||
common | ||
install-source | ||
linker | ||
mlaunch | ||
mmp | ||
mtouch | ||
.gitignore | ||
Makefile | ||
compare-commits.sh | ||
diff-to-html |