mirror of
https://gitee.com/he3db/he3pg.git
synced 2024-11-30 03:07:37 +08:00
7 lines
187 B
Plaintext
7 lines
187 B
Plaintext
# seg extension
|
|
comment = 'data type for representing line segments or floating-point intervals'
|
|
default_version = '1.4'
|
|
module_pathname = '$libdir/seg'
|
|
relocatable = true
|
|
trusted = true
|