[Python-Dev] os.stat(filename).r_dev

Guido van Rossum guido@python.org
Sun, 09 Jun 2002 15:58:52 -0400 

> Any suggestions?

Submit a patch. ;-)

--Guido van Rossum (home page: http://www.python.org/~guido/)