Revert "Stop git from merging generated files"
This reverts commit 4cbb599edf5b0762caa36ee4cbba00c5c86c1f5e. "-merge" makes git not even do merges if they are entirely conflict-free, which is not the behavior we want.
R
Ralf Jung committed
4a60706e6138992eb3a66fc9af8b77fb007dca14
Parent: 1f3bf23