Juergen Spitzmueller ee14363e0b Fix incompatibility of covington and beamer.
Candidate for stable.
2016-07-08 10:04:24 +02:00
..
2016-06-20 11:06:31 -04:00