Skip to content

Commit

Permalink
Small cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
wborn committed Aug 22, 2024
1 parent 159b225 commit d94506f
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
2 changes: 1 addition & 1 deletion docs/developer-guide/setting-up-an-ide.md
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ You can download the [IntelliJ Community Edition](https://www.jetbrains.com/idea
- Run `./gradlew clean installDist` in a terminal in IntelliJ to be sure everything compiles.

##### Recommended Plugins
-

- [Grep Console](https://plugins.jetbrains.com/plugin/7125-grep-console)
- [Markdown Navigator](https://plugins.jetbrains.com/plugin/7896-markdown-navigator)

Expand Down
4 changes: 3 additions & 1 deletion docusaurus.config.ts
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,9 @@ const config: Config = {
],
],

plugins: [require.resolve('docusaurus-lunr-search')],
plugins: [[require.resolve('docusaurus-lunr-search'), {
disableVersioning: true
}]],

themeConfig: {
// Replace with your project's social card
Expand Down

0 comments on commit d94506f

Please sign in to comment.