gustafn
committed
6 months ago
remove obsolete page "paramter-set" as indicated by vguerra several years ago