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