Commit Graph

3 Commits

Author SHA1 Message Date
Gunnar Beutner a601911059 Use the right UID and GID for build files.
Refs #5996
2014-04-11 12:17:04 +02: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 1f8a1a9e1a Add scripts to build a dev environment with Docker.
Fixes #5996
2014-04-11 11:01:38 +02:00