Add a new "javaAPI" element which allows to embed javadoc in the wiki
Add a new "pythonAPI" element which allows to embed a "pdoc-like" python API in the wiki
Add a new maximum compression level for the search index. There are now 3 compression levels
Use jElasticlunr 1.5
Last edit: Hervé Girod 2019-12-05
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Add a new "javaAPI" element which allows to embed javadoc in the wiki
Add a new "pythonAPI" element which allows to embed a "pdoc-like" python API in the wiki
Add a new maximum compression level for the search index. There are now 3 compression levels
Use jElasticlunr 1.5
Last edit: Hervé Girod 2019-12-05