Johannes Meyer 371f895188 Add proper titles to the mixed pagination ... refs #8458		2015-02-23 17:21:31 +01:00
..
helpers	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
scripts	Add proper titles to the mixed pagination	2015-02-23 17:21:31 +01:00