Skip to content
Snippets Groups Projects
Commit 7b754974 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Merge pull request #2778 from phadej/2772-skipped-global-2 

Resolve #2772: generate database flags (may omit global db)
parents 90ffa376 c8fac131
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment