diff src/.gdbinit @ 35199:aa38d1de35cb

Added documentation for backend interface.
author André Spiegel <spiegel@gnu.org>
date Wed, 10 Jan 2001 14:42:53 +0000
parents 8dbc92d11de2
children 9ec1e59890a2
line wrap: on
line diff