From 2f48413b08068fddec45282e69a0394dd17ebd18 Mon Sep 17 00:00:00 2001 From: Meru Patel <2017180@iiitdmj.ac.in> Date: Thu, 13 Sep 2018 07:37:43 +0530 Subject: [PATCH] explanation removed --- client/modules/IDE/components/Preferences.jsx | 1 - 1 file changed, 1 deletion(-) diff --git a/client/modules/IDE/components/Preferences.jsx b/client/modules/IDE/components/Preferences.jsx index 6d64c7db..2f7b2b0b 100644 --- a/client/modules/IDE/components/Preferences.jsx +++ b/client/modules/IDE/components/Preferences.jsx @@ -131,7 +131,6 @@ class Preferences extends React.Component {
Increase
- This will also change console font size

Indentation amount