diff options
author | Benjamin Jones <bjones@galois.com> | 2013-02-11 16:43:39 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2013-02-11 16:43:39 -0800 |
commit | cf438b418742bc897c31cf0787cb820ec85d9728 (patch) | |
tree | 37bb3bed68175b9a19f81563237559ef75838ffa | |
parent | f21d2c7fba0c28b15a9d0ff93c45540e3ee46c64 (diff) |
add LOG_LEVEL setting to programs.properties.example, update for FF17
-rw-r--r-- | headless/programs.properties.example | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/headless/programs.properties.example b/headless/programs.properties.example index 1e5a4c3..97bd0c6 100644 --- a/headless/programs.properties.example +++ b/headless/programs.properties.example @@ -1 +1,2 @@ -FIREFOX_BIN_PATH=/home/creswick/myapps/firefox/firefox-10.0.7-x86_64/firefox +FIREFOX_BIN_PATH=/home/creswick/myapps/firefox/firefox-17.0.2-x86_64/firefox +LOG_LEVEL=ERROR |