diff options
author | Michael Opdenacker <michael@free-electrons.com> | 2007-05-09 08:57:56 +0200 |
---|---|---|
committer | Adrian Bunk <bunk@stusta.de> | 2007-05-09 08:57:56 +0200 |
commit | 59c51591a0ac7568824f541f57de967e88adaa07 (patch) | |
tree | 243d20eb0a26b76d5d312f39ec5a1ff60e036711 /Documentation/driver-model | |
parent | 02a3e59a088749c08b0293ee1535f5bf48f5926c (diff) | |
download | linux-3.10-59c51591a0ac7568824f541f57de967e88adaa07.tar.gz linux-3.10-59c51591a0ac7568824f541f57de967e88adaa07.tar.bz2 linux-3.10-59c51591a0ac7568824f541f57de967e88adaa07.zip |
Fix occurrences of "the the "
Signed-off-by: Michael Opdenacker <michael@free-electrons.com>
Signed-off-by: Adrian Bunk <bunk@stusta.de>
Diffstat (limited to 'Documentation/driver-model')
-rw-r--r-- | Documentation/driver-model/platform.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/driver-model/platform.txt b/Documentation/driver-model/platform.txt index f7c9262b2dc..c5491c22086 100644 --- a/Documentation/driver-model/platform.txt +++ b/Documentation/driver-model/platform.txt @@ -125,7 +125,7 @@ three different ways to find such a match: usually register later during booting, or by module loading. - Registering a driver using platform_driver_probe() works just like - using platform_driver_register(), except that the the driver won't + using platform_driver_register(), except that the driver won't be probed later if another device registers. (Which is OK, since this interface is only for use with non-hotpluggable devices.) |