Closed LuxArdens closed 6 years ago
May have something to do with the fact that Github thinks this is AMPL code.
Wut. How? Why? Where do you see that?
Click on your profile and look at your repos, it will probably say this is an AMPL repository
The headers may be completely unrelated, just a random thought.
If you merge via the web interface and elect to ignore conflicts then you will see this.
Ah, so it's my fault then. Cheers!
Github seems to insert stuff like "<<<<<<< HEAD" into the code whenever a merge takes place. Do you know what causes that and how to prevent it?