diff options
| author | Błażej Kardyś <bkardys@virtuslab.com> | 2020-08-19 15:42:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-19 15:42:29 +0200 |
| commit | 6bd58a22b06c6e879b8e93ade631ca6f119976e3 (patch) | |
| tree | 737ab304f41cc9efa64457acde4144aa7c852ffb /plugins/base | |
| parent | 3100728f92e8d4ce828609d7447c3b486230218a (diff) | |
| download | dokka-6bd58a22b06c6e879b8e93ade631ca6f119976e3.tar.gz dokka-6bd58a22b06c6e879b8e93ade631ca6f119976e3.tar.bz2 dokka-6bd58a22b06c6e879b8e93ade631ca6f119976e3.zip | |
Index page for javadoc (#1244)
Diffstat (limited to 'plugins/base')
| -rw-r--r-- | plugins/base/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/base/.gitignore b/plugins/base/.gitignore index d68571db..5c686405 100644 --- a/plugins/base/.gitignore +++ b/plugins/base/.gitignore @@ -1,3 +1,5 @@ src/main/resources/dokka/scripts/main.js src/main/resources/dokka/scripts/main.js.map +src/main/resources/dokka/scripts/highlight-* +src/main/resources/dokka/scripts/vendors~* search-component/dist/
\ No newline at end of file |