Philipp Nuske 4c8e03dcf4 1 1/2 additional packages that are needed in order to run \Dumux on a fresh Ubuntu installation ... Cherry picked from Dumux SVN trunk (revision 8684)		2012-07-20 13:25:49 +02:00
..
handbook	1 1/2 additional packages that are needed in order to run \Dumux on a fresh Ubuntu installation	2012-07-20 13:25:49 +02:00
logo	logo: do not clip the shadow anymore	2012-07-12 21:22:47 +02:00