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 /src | |
| 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 'src')
| -rw-r--r-- | src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java index 7e53d06..6450e25 100644 --- a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java +++ b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java @@ -80,7 +80,7 @@ public class Drivers { FirefoxDriver driver; if (null == ffBinaryPath) { System.err - .println("WARNING: Running essentially random version of FireFox!"); + .println("WARNING: Running essentially random version of Firefox!"); System.err.println(" set a path to firefox with -D" + FIREFOX_BIN_PATH + "=<path to firefox>"); driver = new FirefoxDriver(profile); |