.gdbinit_python
author Noemi Erli <nerli@mozilla.com>
Sat, 12 Jan 2019 00:00:06 +0200
changeset 453615 1ddef6cf6c7ee86191872cac0782b9f6dc01c923
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
permissions -rw-r--r--
Merge mozilla-central to inbound. a=merge CLOSED TREE

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