diff src/=old-ralloc.c @ 33562:7c20a27966ae

Updated backend documentation. (vc-default-check-headers): New function.
author André Spiegel <spiegel@gnu.org>
date Thu, 16 Nov 2000 18:17:26 +0000
parents c7c930b84dbb
children
line wrap: on
line diff