diff src/m/sequent.h @ 73756:7b9a60623646

(mouse-copy-work-around-drag-bug): Fix typo in docstring.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 06 Nov 2006 02:44:32 +0000
parents 3bd95f4f2941
children e90d04cd455a c5406394f567
line wrap: on
line diff