extension_point_list.md: add title to note

This commit is contained in:
Yann Cébron 2023-03-06 16:05:22 +01:00
parent 97dc682f6a
commit ac0b08386c

View File

@ -1,6 +1,6 @@
# Extension Point and Listener List
<!-- Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. -->
<!-- Copyright 2000-2023 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. -->
<link-summary>Overview of Extension Points and Listeners for IntelliJ Platform</link-summary>
@ -14,6 +14,7 @@
>
> See also [](explore_api.md) for more information and strategies.
>
{title="Product Specific Information"}
<include from="snippets.md" element-id="ep_list_legend"/>