From 7186d41f3338a477497d3ff6deb38f6248ecc3a6 Mon Sep 17 00:00:00 2001
From: Roman Shevchenko <roman.shevchenko@jetbrains.com>
Date: Mon, 4 May 2020 21:21:40 +0200
Subject: [PATCH] [platform] log.xml user's manual

GitOrigin-RevId: 88a8eb87b906449e37b7f880bd53a613bfe72b22
---
 bin/log.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bin/log.xml b/bin/log.xml
index d437ec9de0ef..8a723a1dabab 100644
--- a/bin/log.xml
+++ b/bin/log.xml
@@ -1,6 +1,12 @@
 <?xml version='1.0' encoding='ISO-8859-1' ?>
 <!DOCTYPE log4j:configuration SYSTEM "log4j.dtd">
 
+<!--
+  Since 2019.3, this file is no longer loaded by default. Consider using Help | Diagnostic Tools | Debug Log Settings;
+  if that's not enough, copy this file somewhere and specify a path to it by adding `idea.log.config.file = /path/to/log.xml`
+  to Help | Edit Custom Properties.
+-->
+
 <log4j:configuration xmlns:log4j="http://jakarta.apache.org/log4j/">
   <appender name="CONSOLE-WARN" class="org.apache.log4j.ConsoleAppender">
     <param name="target" value="System.err"/>