diff .arch-inventory @ 79169:c6da63ecc892

(tpu-edt-old-global-values): New var. (tpu-edt-off): Use it. (tpu-edt-on): Set it. Make sure the tpu-global-map is not already on the global-map before adding it to global-map.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 22 Oct 2007 04:42:10 +0000
parents 7cb1d5f71446
children
line wrap: on
line diff