BranchCommit messageAuthorAge
masterRelease for unstableBenjamin Barenblat5 years
dfsg_freeMerge branch 'upstream' into dfsg_freeBenjamin Barenblat5 years
TagDownloadAuthorAge d9c3a962e0...Benjamin Barenblat5 years 54b058e054...Benjamin Barenblat5 years
AgeCommit messageAuthor
2016-10-29Release for unstableHEAD2.3.0.61016+dfsg+3.gbp1f2d6c1-1masterBenjamin Barenblat
2016-10-29Make BVD pick up on GTK colour schemeBenjamin Barenblat
2016-10-29Update man pagesBenjamin Barenblat
2016-10-29Force using .NET 4.0Benjamin Barenblat
2016-10-29Update debian/gbp.confBenjamin Barenblat
2016-10-29Add Vcs-* URLs to debian/controlBenjamin Barenblat
2016-10-29Update debian/changelogBenjamin Barenblat
2016-10-29Merge branch 'dfsg_free'Benjamin Barenblat
2016-10-29Merge branch 'upstream' into dfsg_freedfsg_freeBenjamin Barenblat
2016-08-17White space deltas. (I'm not sure why git thought I had changes in these fil...Rustan Leino
2016-08-17Merge pull request #35 from Checkmate50/masterRustanLeino
2016-08-15Merge pull request #42 from BarryBo/masterRustanLeino
2016-08-12Fix deadlock in the new thread schedulerBarryBo
2016-08-01Merge pull request #41 from BarryBo/masterRustanLeino
2016-07-23fixed an error where a -0 was not interpreted as a negative numberCheckmate50
2016-07-22Run Boogie code on threads with large stacksBarryBo