diff src/.gdbinit @ 75182:54c43f5d4c8b

(server-ensure-safe-dir): UIDs may be floats.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 10 Jan 2007 03:51:24 +0000
parents 8079b89022bf
children f4d4f6f361cc 17e0dd217877 bc10a33dd40b
line wrap: on
line diff