From 24ea2bca059e092a42e5f13d8bb2332e98f99ac5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Mon, 15 Aug 2022 16:14:58 +0200 Subject: [PATCH] revert "migrate TOC settings to in-page declaration" 474fc800ea96bd77f2cda44dd0a3aea0d2c8b80d --- ijs.tree | 4 ++-- .../gradle_intellij_plugin/tools_gradle_intellij_plugin.md | 2 -- topics/appendix/tools/tools_gradle_grammar_kit_plugin.md | 2 -- 3 files changed, 2 insertions(+), 6 deletions(-) diff --git a/ijs.tree b/ijs.tree index f3d2906b7..a55e502c1 100644 --- a/ijs.tree +++ b/ijs.tree @@ -384,12 +384,12 @@ - + - + diff --git a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md index 3c45856c0..65e66464f 100644 --- a/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md +++ b/topics/appendix/tools/gradle_intellij_plugin/tools_gradle_intellij_plugin.md @@ -1,7 +1,5 @@ [//]: # (title: Gradle IntelliJ Plugin) - - The Gradle IntelliJ Plugin is a plugin for the Gradle build system to help configuring your environment for building, testing, verifying, and publishing plugins for IntelliJ-based IDEs. diff --git a/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md b/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md index 2843bd5be..7920196cb 100644 --- a/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md +++ b/topics/appendix/tools/tools_gradle_grammar_kit_plugin.md @@ -1,7 +1,5 @@ [//]: # (title: Gradle Grammar-Kit Plugin) - - The [Gradle Grammar-Kit Plugin](https://github.com/JetBrains/gradle-grammar-kit-plugin) automates generating lexers and parsers to support building [custom language](custom_language_support.md) plugins for IntelliJ-based IDEs when using [Grammar-Kit](https://github.com/JetBrains/Grammar-Kit).