registry.properties: fix console.too.much.text.buffer.ratio.description text
authorYann Cébron <yann.cebron@jetbrains.com>
Fri, 23 Sep 2016 14:14:03 +0000 (16:14 +0200)
committerYann Cébron <yann.cebron@jetbrains.com>
Fri, 23 Sep 2016 14:14:03 +0000 (16:14 +0200)
commitc96da41662b25f9b3477f3c69ed7e5a2d29abb26
tree0b9fc9a705c65ca66996ae6e2857766b6ccf5752
parent56f898549d339275fd3f68d6d6c4c7e6fb1af36c
registry.properties: fix console.too.much.text.buffer.ratio.description text
platform/util/resources/misc/registry.properties