diff src/.gdbinit @ 17448:b0fb37e0d14b

Install the proper version.
author Richard M. Stallman <rms@gnu.org>
date Mon, 14 Apr 1997 10:35:17 +0000
parents fb218a8bd186
children c572c073c982
line wrap: on
line diff