-
Karl Wette authored
- Allow choice of PAGER to be overridden by user - Check that options are valid for PAGER before adding Original: 43f9c2486679df836012202f83a7fca1034367bc
088733a6
- Allow choice of PAGER to be overridden by user - Check that options are valid for PAGER before adding Original: 43f9c2486679df836012202f83a7fca1034367bc