diff options
| -rw-r--r-- | common/rtemsdomain.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/common/rtemsdomain.py b/common/rtemsdomain.py index 49d0728..9b092a3 100644 --- a/common/rtemsdomain.py +++ b/common/rtemsdomain.py @@ -3,7 +3,6 @@ from docutils.parsers.rst import directives from sphinx import addnodes from sphinx.roles import XRefRole -from sphinx.locale import l_, _ from sphinx.directives import ObjectDescription from sphinx.domains import Domain, ObjType, Index from sphinx.util.nodes import make_refnode |