comparison src/.gdbinit @ 71246:f32b17d18b4b

(ASCII export): Document indentation adaptation. (Setting tags): Document mutually-exclusive tags.
author Carsten Dominik <dominik@science.uva.nl>
date Tue, 06 Jun 2006 08:26:54 +0000
parents d481556dd1b5
children 9f75a05018ea 1321f6cfb389 146cd8369025
comparison
equal deleted inserted replaced
71245:92cdf6b94754 71246:f32b17d18b4b