set_options() now stores the old values in the stored options hash
[irspy-moved-to-github.git] / zebra / db /
2006-04-13 Mike TaylorNew