Bernhard Reutner-Fischer 2c7da4d726 - use makedev to get device number, else it gives wrong major/minor numbers to devices files on systems which use big device numbers. ... Closes #919		2007-01-21 14:36:25 +00:00
..
makedevs.c
makedevs.mk