Michael Friedrich 85af84c9fb Docs: Fix gdb pretty printers ... fixes #8048		2014-12-15 11:26:22 +01:00
..
gdb	Docs: Fix gdb pretty printers	2014-12-15 11:26:22 +01:00
natvis	Update version to 0.0.5.	2013-12-03 09:50:18 +01:00