From c40decd20fafbf625f66b9ddf91d49a707ca4178 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Fri, 10 Jun 2022 11:25:45 +0200 Subject: [PATCH] add missing icon-robots.txt GitOrigin-RevId: 8692e8fd0d73937ca5c672dd4d6f4387d2a18665 --- plugins/maven/src/main/resources/images/expui/icon-robots.txt | 1 + plugins/terminal/resources/icons/expui/icon-robots.txt | 1 + 2 files changed, 2 insertions(+) create mode 100644 plugins/maven/src/main/resources/images/expui/icon-robots.txt create mode 100644 plugins/terminal/resources/icons/expui/icon-robots.txt diff --git a/plugins/maven/src/main/resources/images/expui/icon-robots.txt b/plugins/maven/src/main/resources/images/expui/icon-robots.txt new file mode 100644 index 000000000000..f21601437b7f --- /dev/null +++ b/plugins/maven/src/main/resources/images/expui/icon-robots.txt @@ -0,0 +1 @@ +skip: * \ No newline at end of file diff --git a/plugins/terminal/resources/icons/expui/icon-robots.txt b/plugins/terminal/resources/icons/expui/icon-robots.txt new file mode 100644 index 000000000000..f21601437b7f --- /dev/null +++ b/plugins/terminal/resources/icons/expui/icon-robots.txt @@ -0,0 +1 @@ +skip: * \ No newline at end of file