title: What is a .pubxml.user file?
body: <p>I'm deciding whether to add a file to version control. It's name ends with <code>.pubxml.user</code>. Can anyone tell me what it is? The fill name of the file is <code>&lt;name of our web server&gt;.pubxml.user</code>. It is evidently related to the publishing configuration.</p>
  
  <p>The project is in ASP.NET MVC and C#, using Visual Studio 2013. the file is in the <code>PublishProfiles</code> folder.</p>