mirror of
https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint
synced 2024-09-21 16:19:21 +00:00
6 lines
105 B
Python
6 lines
105 B
Python
import shmixml.dom.minidom
|
|
import xml.dom.minidom
|
|
|
|
if 'dom' not in xml.__dict__:
|
|
xml.dom = shmixml.dom
|