log

age author description
Tue, 25 Jun 2019 12:08:37 +0200 Thomas Junk merging with branch infiniscroll
Tue, 25 Jun 2019 12:07:55 +0200 Thomas Junk closing branch infiniscroll infiniscroll
Tue, 25 Jun 2019 12:05:10 +0200 Thomas Junk merge with default infiniscroll
Tue, 25 Jun 2019 12:04:45 +0200 Thomas Junk virtual_scrolling: size parameter infiniscroll
Tue, 25 Jun 2019 08:58:35 +0200 Thomas Junk merge with default infiniscroll
Tue, 25 Jun 2019 10:27:09 +0200 Markus Kottlaender search: include id in search result to mark sections/stretches as selected