docs: remove unused exports (#17109)

This commit is contained in:
Gary Verhaegen 2023-07-11 17:39:38 +02:00 committed by GitHub
parent 32a1b8b483
commit 60f41e88b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,11 +16,6 @@ load(
exports_files(
[
"configs/html/conf.py",
"configs/static/pygments_daml_lexer.py",
"configs/static/typescript.py",
"scripts/check-closing-quotes.sh",
"scripts/check-closing-quotes.sh.allow",
"source/tools/export/output-root/Export.daml",
"source/tools/export/output-root/args.json",
"source/tools/export/output-root/daml.yaml",