diff man/gnu.texi @ 37400:2ac65f4d70e5

(delete_kboard): Prevent a dangling reference from current_kboard to KB, which is freed.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 19 Apr 2001 13:00:01 +0000
parents df827c1def99
children 730f77edf073
line wrap: on
line diff