.gdbinit_python
author Sylvestre Ledru <sledru@mozilla.com>
Mon, 19 Nov 2018 14:41:33 +0000
changeset 447016 55384416e4fe28e7adaac150e184665d041c524b
parent 362829 ff64a7889c1fac56d48205fc2fad4eb5aa481a73
child 482060 fa94c9a03e3f019a060d028f61da69af41e3a8ff
permissions -rw-r--r--
Bug 1508220 - Refresh the list of third party code in dom/media/ r=jya DONTBUILD Differential Revision: https://phabricator.services.mozilla.com/D12249

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