diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-24 17:08:55 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-24 17:08:55 -0800 |
| commit | f767413fbe1cc74d66233c9ff5df3895a528b5d5 (patch) | |
| tree | 071c9ef4d697c11b6a5b87b393f699fa75c7b7b0 /doc | |
| parent | 02b884ea4eab34b0114043dbf24c2ee8e4a66ca7 (diff) | |
The software’s name is officially spelled “Firefox,” without
camel-casing. It’s already spelled that way throughout most of the
package, but there were a couple places where camel-casing persisted.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/gettingStarted.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual_src/gettingStarted.md b/doc/manual_src/gettingStarted.md index 9928916..4167584 100644 --- a/doc/manual_src/gettingStarted.md +++ b/doc/manual_src/gettingStarted.md @@ -22,9 +22,9 @@ options link on the extensions page, or through the options item on the context menu off of the FiveUI button (accessed by right-clicking on the FiveUI button). -## Options in FireFox +## Options in Firefox -The options page in `FireFox` can be accessed via the FiveUI gear widget, which +The options page in `Firefox` can be accessed via the FiveUI gear widget, which should be added in addition to the FiveUI widget when the addon is installed. Once clicked, a new tab should appear which serves as the options interface for the addon. |