comparison debian/menu @ 7422:69d6da12bc30

*bsd doesn't have info.output_muted - patch by Bj«Órn Sandell <biorn@dce.chalmers.se>
author arpi
date Mon, 16 Sep 2002 19:46:02 +0000
parents 5bbf7a829280
children 1856b9bfdc09
comparison
equal deleted inserted replaced
7421:0684cad9b204 7422:69d6da12bc30