diff options
Diffstat (limited to 'specs/XKB/ch19.xml')
-rw-r--r-- | specs/XKB/ch19.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/specs/XKB/ch19.xml b/specs/XKB/ch19.xml index fa0d54f5..5cf4c40f 100644 --- a/specs/XKB/ch19.xml +++ b/specs/XKB/ch19.xml @@ -317,8 +317,8 @@ If the keyboard change is the result of an <structfield>device</structfield> contains the device identifier for the new device, but nothing definitive can be said for -<structfield>old_device</structfield> -; it may be identical to +<structfield>old_device</structfield>; + it may be identical to <structfield>device</structfield>, or it may be different, depending on the implementation. </para> |