[gnome-terminal] help: Rename custom-shells to custom-command
- From: Ekaterina Gerasimova <egerasimov src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] help: Rename custom-shells to custom-command
- Date: Fri, 15 Mar 2013 11:33:01 +0000 (UTC)
commit 84ad573ea75662e863e1e6049f6c186e37fa4280
Author: Ekaterina Gerasimova <kittykat3756 gmail com>
Date: Fri Mar 15 11:15:06 2013 +0000
help: Rename custom-shells to custom-command
Rename the custom shells to custom command because the feature is called
custom command in the terminal and shells are a type of command.
...custom-shells.page => pref-custom-command.page} | 0
help/Makefile.am | 2 +-
2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/pref-custom-shells.page b/help/C/pref-custom-command.page
similarity index 100%
rename from help/C/pref-custom-shells.page
rename to help/C/pref-custom-command.page
diff --git a/help/Makefile.am b/help/Makefile.am
index c91d4fe..4981cdf 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -26,7 +26,7 @@ HELP_FILES = \
pref.page \
pref-bell.page \
pref-custom-exit.page \
- pref-custom-shells.page \
+ pref-custom-command.page \
pref-encoding.page \
pref-keyboard-access.page \
pref-menubar.page \
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]