<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div>I have googled for a couple of days and can't find any info on how to
change the default times from 30 and 5 sec to something else. I messed
around with the lirc file but to no avail. Is there another file I
should be trying?
</div></div><br>
</body></html>