diff options
author | Cédric Ollivier <cedric.ollivier@orange.com> | 2022-04-14 15:22:51 +0200 |
---|---|---|
committer | Cédric Ollivier <cedric.ollivier@orange.com> | 2022-04-14 15:23:46 +0200 |
commit | f5a03337ee7bb41c51f12f3a9094bac706dafbfd (patch) | |
tree | 33ceb4297dd2fd6e7f819a4ead1635364551944c /catalog-ui/build_catalog_ui.bat | |
parent | f177863dd3047114bb96bbc00cff301ea08ad63c (diff) |
Remove false and useless intersphinx_mappingistanbul
Issue-ID: DOC-782
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Change-Id: I573fadb7bf4f7816ee74985a9fdd8cb8da725437
(cherry picked from commit 26bd8cd419a96d0582c24d0e39f86c335fcd8735)
Diffstat (limited to 'catalog-ui/build_catalog_ui.bat')
0 files changed, 0 insertions, 0 deletions