Rename 'random_seed' back to 'seed'.

Peter Eisentraut <peter_e@gmx.net>

Commit: e692b0130b11c90feda2f0e82810670125c4ea60
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2001-03-29T19:03:57Z
Releases: 7.1.1
Rename 'random_seed' back to 'seed'.

Files

PathChange+/−
src/backend/commands/variable.c modified +4 −4