Remove install-pkg-inferred-as duplicate

2013-08-04 01:10:17 +09:00 · 2013-08-04 01:10:17 +09:00 · 4bbf4c7264
commit 4bbf4c7264
parent cc51fd9192
1 changed files with 0 additions and 1 deletions
--- a/pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt
+++ b/pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt
@ -1833,7 +1833,6 @@ please adhere to these guidelines:
  (install-pkg-abort-generic-action "Abort Action")
  (install-pkg-show-all-options "Show All Options")
  (install-pkg-migrate-available-installations "Available Installations")
-  (install-pkg-inferred-as "Type inferred to be ~a") ; ~a gets install-pkg-{file,dir,...}
  (pkg-manager-menu-item "Package Manager...")  
  ;; where ~a gets an installation name:
  (install-pkg-packages-for "Packages for ~a")