view .bk-to-hg @ 8352:a7bb7b704071

Most drivers have their own range of devices they claim and the tty
index is identical to the device file index. For us, the tty index is
always zero regardless of the device file index.

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
author kaf24@firebug.cl.cam.ac.uk
date Tue Dec 13 22:05:18 2005 +0100 (2005-12-13)
parents f3123052268f
children c6c0f98bf7d3 ba107a7380bc
line source
1 #!/bin/sh
2 exit 0