mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-23 15:16:29 +00:00
8 lines
170 B
Plaintext
8 lines
170 B
Plaintext
# repmgr extension
|
|
comment = 'Replication manager for PostgreSQL'
|
|
default_version = '4.0.0.0'
|
|
module_pathname = '$libdir/repmgr'
|
|
relocatable = false
|
|
schema = pg_catalog
|
|
|