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
|
Tue, 25 Jun 2019 10:25:38 +0200 |
Sascha L. Teichmann |
SR import: Fixed formatting problem.
|