Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
plugin-sharing.js | 2018-01-28 19:01 | 3.3K | |
plugin-search.js | 2018-01-28 19:01 | 7.1K | |
plugin-fontsettings.js | 2018-01-28 19:01 | 3.9K | |
plugin-bookdown.js | 2018-01-28 19:01 | 7.5K | |
lunr.js | 2018-01-28 19:01 | 15K | |
jquery.highlight.js | 2018-01-28 19:01 | 3.0K | |
app.min.js | 2018-01-28 19:01 | 144K | |
Unless otherwise specified, the files available here are covered under our data release policy.