dune-gdb-pretty-printers

Project information

This project creates pretty-printers for some basic data structures provided by the DUNE project. They allow a much simpler way to look at objects while debugging with the GNU Debugger.

12 Commits
1 Branch
0 Tags

README

Created on

September 29, 2016

Copy SSH clone URLssh://git@gitlab.dune-project.org:22022/infrastructure/dune-gdb-pretty-printers.git
Copy HTTPS clone URLhttps://gitlab.dune-project.org/infrastructure/dune-gdb-pretty-printers.git