diff make-dist @ 13359:4c60f92bdaa6

Do `set main' to make gdb_valbits etc. available.
author Richard M. Stallman <rms@gnu.org>
date Tue, 31 Oct 1995 00:55:50 +0000
parents 5a333a8e0ee1
children d05d5a169faa
line wrap: on
line diff