aboutsummaryrefslogtreecommitdiff
An ad-hoc filter for http://www.cs.uu.nl/education.