774,7 → 774,7 |
h) checkfn=is_pos_or_percent ; domain='positive numbers or percentages' ;; |
f) checkfn=is_float_or_frac ; domain='positive numbers or fractions' ;; |
D) checkfn=is_decoder ; domain='$DEC_FFMPEG or $DEC_MPLAYER' ;; |
T) checkfn=is_tcfrom ; domain='$TC_INTERVAL or $TC_NUMCAPS' ;; |
T) checkfn=is_tcfrom ; domain='$TC_INTERVAL or $TC_INTERVAL' ;; |
V) checkfn=is_vlevel ; domain='verbosity levels ($V_.*)' ;; |
I) checkfn=is_interv_or_percent ; domain='intervals or percentages' ;; |
P) checkfn=is_profile_list ; domain='comma-separated profile names' ;; |