5 Commits

Author	SHA1	Message	Date
Michael Friedrich	85af84c9fb	Docs: Fix gdb pretty printers ... fixes #8048	2014-12-15 11:26:22 +01:00
Gunnar Beutner	492ec9dba8	Add support for GDB pretty printers in the dev environment. ... Refs #5996	2014-04-11 11:42:37 +02:00
Gunnar Beutner	e93d3f4c61	Update gdbinit path. ... Refs #2710	2013-11-07 16:07:52 +01:00
Gunnar Beutner	919af6c539	Update path.	2013-10-17 09:10:54 +02:00
Michael Friedrich	d2d6653236	Clean contrib/. ... fixes #4774	2013-10-03 20:36:44 +02:00