diff src/.gdbinit @ 37404:730f77edf073

Use GNU Free Documentation License.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 19 Apr 2001 15:26:37 +0000
parents f440b9766968
children d2dfa348e7d8
line wrap: on
line diff