diff make-dist @ 110857:93079c0866aa

* keyboard.c: Revert last change; it was not intended to be synchronized with the trunk.
author Michael Albinus <michael.albinus@gmx.de>
date Fri, 08 Oct 2010 14:41:49 +0200
parents 8d976ea08d41
children 3869cf7d1e82
line wrap: on
line diff