Ensure no conflicts in build.xml -- employ "ours" strategy.
This commit is contained in:
parent
1b1de4af47
commit
c072097fb6
|
|
@ -8,3 +8,5 @@ dependencies text merge=mps
|
|||
*.mpsr text merge=mps
|
||||
*.model text merge=mps
|
||||
*.mps text merge=mps
|
||||
build.xml merge=ours
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue