cec-config: always set the hdmi port number and device, or v1.4- clients won't work...
[deb_libcec.git] / include /
drwxr-xr-x   ..
-rw-r--r-- 16649 cec.h
-rw-r--r-- 9618 cecc.h
-rw-r--r-- 6419 cecloader.h
-rw-r--r-- 34094 cectypes.h