# HG changeset patch
# User Jan D. <jan.h.d@swipnet.se>
# Date 1263284085 -3600
# Node ID 0ff664c52820f629711fdf17f5431c98625e1645
# Parent  b92c3979701c37ff03e40593f2d04e6059c78bc7# Parent  65abe959e89aa8d5dd5a363fac0326b49361d951
* keyboard.c (read_char): Return after executing from special map.