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.
*	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