Rename Optimization Coach menu item.

(cherry picked from commit def9649688)
This commit is contained in:
Vincent St-Amour 2012-07-20 10:44:48 -04:00 committed by Ryan Culpepper
parent 4bfaae4d0b
commit 9d566a00f4

View File

@ -1659,7 +1659,7 @@ please adhere to these guidelines:
(always-use-platform-specific-linefeed-convention "Always use the platform-specific linefeed convention")
;; optimization coach
(hide-optimization-coach "Hide Optimization Coach Info")
(show-optimization-coach "Show Optimization Coach Info")
(hide-optimization-coach "Hide Optimization Coach")
(show-optimization-coach "Show Optimization Coach")
)