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