diff src/.gdbinit @ 12620:7f74acc9dfeb

Update disk requirements. Document `make clean'. Update directory descriptions.
author Karl Heuer <kwzh@gnu.org>
date Thu, 20 Jul 1995 20:32:25 +0000
parents 6882fe187fa9
children 4c60f92bdaa6
line wrap: on
line diff