<!-- Some styling for better description lists --><style type='text/css'>dt { font-weight: bold;float: left;display:inline;margin-right: 1em} dd { display:block; margin-left: 2em}</style>

   __julian: what's the difference between if_frequency and frequency for a dvb_tuner? (--&gt; get_if_frequency vs get_frequency is dvb_tuner_ops)
   ***: __julian has left "WeeChat 1.9"
   <br> deep-book-gk_ has left