OSDN Git Service

Rename 'random_seed' back to 'seed'.
authorPeter Eisentraut <peter_e@gmx.net>
Thu, 29 Mar 2001 19:03:57 +0000 (19:03 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Thu, 29 Mar 2001 19:03:57 +0000 (19:03 +0000)
commite692b0130b11c90feda2f0e82810670125c4ea60
treeee38cdbd1d77004dda94723102300a181ab031ec
parentfdf1319d225219bce53c33d504b57f617943dbe7
Rename 'random_seed' back to 'seed'.
src/backend/commands/variable.c