Commit Graph

2 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 1f8a1a9e1a Add scripts to build a dev environment with Docker.
Fixes #5996
2014-04-11 11:01:38 +02:00