diff options
| author |  Benjamin Schindler <bschindler@inf.ethz.ch> | 2009-12-08 18:17:46 +0100 |
|---|---|---|
| committer | Benjamin Schindler <bschindler@inf.ethz.ch> | 2009-12-08 18:17:46 +0100 |
| commit | f2304f3b88171e350d305dd7e326b7b345f343f5 (patch) | |
| tree | cbfe72feff5aa17cc302f4a88ae77f114d01a48e /debug | |
| parent | 64beff03b6f48c58ed74acddcb69f91a33358d30 (diff) | |
Adding __init__.py so the printers can be used directly from the checkout
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/gdb/__init__.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/gdb/__init__.py b/debug/gdb/__init__.py new file mode 100644 index 000000000..bb7b160de --- /dev/null +++ b/debug/gdb/__init__.py @@ -0,0 +1 @@ +# Intentionally empty |