summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix automagic dependencies wrt bug #478832.Michael Palimaka2013-08-011-15/+9
* Fix automagic dependencies wrt bug #478832.Michael Palimaka2013-08-012-4/+8
* Remove unused dependency wrt bug #478412.Michael Palimaka2013-08-011-15/+9
* Remove unused dependency wrt bug #478412.Michael Palimaka2013-08-012-3/+6
* Update HOMEPAGE.Johannes Huber2013-08-011-17/+11
* Update HOMEPAGE.Johannes Huber2013-08-014-5/+12
* Update HOMEPAGE wrt bug #478964.Johannes Huber2013-08-011-16/+10
* Update HOMEPAGE wrt bug #478964.Johannes Huber2013-08-013-3/+9
* Update HOMEPAGE wrt bug #479270.Johannes Huber2013-08-011-16/+10
* Update HOMEPAGE wrt bug #479270.Johannes Huber2013-08-013-3/+11
* Update HOMEPAGE wrt bug #478868.Johannes Huber2013-08-011-16/+10
* Update HOMEPAGE wrt bug #478868.Johannes Huber2013-08-013-3/+11
* Update HOMEPAGE wrt bug #479220.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479220.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479204.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479204.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479168.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479168.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479002.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479002.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #478984.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478984.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #478980.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478980.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #478958.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478958.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #478956.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478956.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #478912.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478912.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #478890.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478890.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479258.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479258.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479242.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479242.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #479238.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479238.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #479224.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479224.Johannes Huber2013-07-313-3/+11
* Update HOMEPAGE wrt bug #478876.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #478876.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #479208.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479208.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #479192.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479192.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #479126.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479126.Johannes Huber2013-07-313-3/+9
* Update HOMEPAGE wrt bug #479030.Johannes Huber2013-07-311-16/+10
* Update HOMEPAGE wrt bug #479030.Johannes Huber2013-07-313-3/+11