mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-05-31 19:39:04 +00:00
Add command line option "repmgr --version-number"
Outputs the raw version number. Intended for use by scripts etc.
This commit is contained in: