Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in / Register

Project overview
Repository
Labels
- Labels
Merge requests 18
- Merge requests 18
Analytics
Members
- Members
Activity
Graph
Commits

Collapse sidebar

nexedi
jio
Merge requests
!61

Merged

Created Jul 21, 2017 by preetwinder @preetContributor

Support multiline string search with the % wildcard

Overview 0
Commits 1
Changes 2

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Source branch: multiline-doc-search

GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7