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 /README.md | |
| 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 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ Google Chrome. If you're familiar with browser extensions, you can quickly install FiveUI from the binaries: - Chrome: [fiveui.crx](http://galoisinc.github.com/FiveUI/binaries/fiveui.crx) - - FireFox: [fiveui.xpi](http://galoisinc.github.com/FiveUI/binaries/fiveui.xpi) + - Firefox: [fiveui.xpi](http://galoisinc.github.com/FiveUI/binaries/fiveui.xpi) The [Installation Guide](doc/manual_src/install.md) describes the installation process for Firefox and Google Chrome. |