.gdbinit_python
author Andrea Marchesini <amarchesini@mozilla.com>
Thu, 23 Jun 2016 10:53:14 +0200
changeset 342466 70c00c6c05838d6d4be3a7d8e01a5494fbbd94e8
parent 339237 c993782dbd5218c72c653b53482daea1be9b4c5c
child 410925 34b11112f0e3b342c149295ea8e8eac01cdf646c
permissions -rw-r--r--
Bug 1269154 - Get rid of WorkerFeature: WorkerHolder, r=khuey

python
import sys
sys.path.append('python/gdbpp/')
import gdbpp
end