debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Backed out changeset ed4196d6fe50	Dan Liew	2015-01-29
\| \| \| \| \| \|	Compilation does not depend NUnit.Runners so it should not be a required package. Instead users should install it manually as described in Source/UnitTests/README.md
*	Make NUnit.Runners a require NuGet package again. This is an	Dan Liew	2015-01-29
\| \| \| \| \| \|	attempt to unbreak the Jenkins build. I don't think doing this is ideal. The package isn't required to run tests, it's only required if you want to run them on the command line.
*	Change the ToolsVersion attribute of the Project tag in the recently	Dan Liew	2014-11-19
\| \| \| \| \| \| \|	added unit tests csproj files from 12.0 to 4.0. This done so that Monodevelop 5.0.1 can import these projects (it can't handle the newer ToolsVersion). This didn't seem to break anything in Visual Studio 2013
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
	so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md