From 8e5aaee1c45753bc9a16bf4bff2387ef0fd70661 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 31 Mar 2016 15:37:21 +0200 Subject: delete unnecessary extra copy of javadoc.properties --- core/src/main/resources/format/javadoc.properties | 1 - 1 file changed, 1 deletion(-) delete mode 100644 core/src/main/resources/format/javadoc.properties (limited to 'core') diff --git a/core/src/main/resources/format/javadoc.properties b/core/src/main/resources/format/javadoc.properties deleted file mode 100644 index a58317fc..00000000 --- a/core/src/main/resources/format/javadoc.properties +++ /dev/null @@ -1 +0,0 @@ -class=org.jetbrains.dokka.javadoc.JavadocFormatDescriptor \ No newline at end of file -- cgit