attempt to fix pdf docs build (#8065)

This commit is contained in:
Ivan Blinkov 2019-12-06 16:29:16 +03:00 committed by GitHub
parent a73975d6a3
commit 4a0007784d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -0,0 +1 @@
lunr.jp.js