diff .gdbinit @ 178:e1bc9d8d688c

ec184 now, run w. unbuffered output
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 05 Jul 2023 15:02:53 +0100
parents d39fd9c7f1be
children
line wrap: on
line diff