diff options
Diffstat (limited to 'plugins/javadoc/api')
| -rw-r--r-- | plugins/javadoc/api/javadoc.api | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/javadoc/api/javadoc.api b/plugins/javadoc/api/javadoc.api index 0eabce5c..70a69a79 100644 --- a/plugins/javadoc/api/javadoc.api +++ b/plugins/javadoc/api/javadoc.api @@ -119,7 +119,6 @@ public final class org/jetbrains/dokka/javadoc/pages/DeprecatedPageSection : jav public final fun getCaption ()Ljava/lang/String; public final fun getHeader ()Ljava/lang/String; public final fun getId ()Ljava/lang/String; - public final fun getPriority ()I public static fun valueOf (Ljava/lang/String;)Lorg/jetbrains/dokka/javadoc/pages/DeprecatedPageSection; public static fun values ()[Lorg/jetbrains/dokka/javadoc/pages/DeprecatedPageSection; } |