4 Commits

Author	SHA1	Message	Date
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