Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
SADE
SADE
Merge requests
!78
Merged
Created
Nov 29, 2019
by
Ubbo Veentjer
@uveentj
Owner
Options
Feature/
#100
search pagination
Overview
2
Commits
5
Pipelines
1
Changes
3
This MR re-enables pagination on search.html and adds some doc to faceted-search.xqm