comparison src/.gdbinit @ 2972:1298574b81d6

Remove duplicate cp command from `man' section.
author Jim Blandy <jimb@redhat.com>
date Sun, 23 May 1993 00:15:29 +0000
parents 1dcc4e12b8dd
children aabcab2eab73
comparison
equal deleted inserted replaced
2971:fe78246d77fb 2972:1298574b81d6