Rename the devfs device names option so it doesn't bite people so often.
authorRob Landley <rob@landley.net>
Thu, 11 May 2006 16:39:52 +0000 (16:39 -0000)
committerRob Landley <rob@landley.net>
Thu, 11 May 2006 16:39:52 +0000 (16:39 -0000)
commit9b70093714ec7cbf0cb5b87e9f4ce719dcc93c32
treec18a271a5da0c0a79d917771c4b85e9948ef18c4
parent2ad1e7ce44146fa3062316897a62110b464df537
Rename the devfs device names option so it doesn't bite people so often.
Config.in