24 Jul
2013
24 Jul
'13
1:17 a.m.
On Tue, Jul 23, 2013 at 8:15 PM, Robert Winkler robert.winkler@boundarydevices.com wrote:
Incidentally, I just grepped for CONFIG_CMD_HDMIDETECT and I don't see it documented anywhere. It should probably be added to the README
Yes, looks like a good idea.