From 3bff8bbedb7f647e703957866f15cdc847efcb34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 8 Mar 2022 18:51:22 +0100 Subject: [PATCH] extension_point_list.md: cleanup header --- topics/appendix/resources/extension_point_list.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/topics/appendix/resources/extension_point_list.md b/topics/appendix/resources/extension_point_list.md index b8e1f0402..f56c888e7 100644 --- a/topics/appendix/resources/extension_point_list.md +++ b/topics/appendix/resources/extension_point_list.md @@ -10,15 +10,15 @@ > Dedicated Extension Point/Listener Lists specific to IDEs are available under _Part VIII — Product Specific_. > -> See also [Explore the IntelliJ Platform API](explore_api.md) for more information and strategies. +> See also [](explore_api.md) for more information and strategies. > {type="tip"} -> See [Plugin Extensions](plugin_extensions.md) on how to declare extensions in your plugin. +> See [Extensions](plugin_extensions.md) on how to declare extensions in your plugin. > -> See [Plugin Listeners](plugin_listeners.md) on how to register Listeners. +> See [Listeners](plugin_listeners.md) on how to register listeners. > {type="tip"}