Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index eece5eb62a8a99984546ae59c251e176d5383896..4e906e6a9806d9cbceacc4ca41b6af2aab1911c3 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1787,9 +1787,6 @@ const char kDevToolsDisabled[] = "devtools.disabled"; |
const char kDevToolsDiscoverUsbDevicesEnabled[] = |
"devtools.discover_usb_devices"; |
-// A string specifying the dock location (either 'bottom' or 'right'). |
-const char kDevToolsDockSide[] = "devtools.dock_side"; |
- |
// Maps of files edited locally using DevTools. |
const char kDevToolsEditedFiles[] = "devtools.edited_files"; |