diff options
| author |  Rogan Creswick <creswick@galois.com> | 2012-03-30 18:27:01 -0700 |
|---|---|---|
| committer | Rogan Creswick <creswick@galois.com> | 2012-03-30 18:27:01 -0700 |
| commit | c7cecc7b9b863a75a772930e0aaa1fbceea4d1f8 (patch) | |
| tree | 2004f43adec0303a81d0a7a4d9ddfc59f8698554 /README.md | |
| parent | d53cc57b5e0f0abbf9c60d9df3e5a0377a1df98d (diff) | |
updated install links in README to use gh-pages
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -9,8 +9,8 @@ FiveUI is a basic browser extension with support for Firefox and Google Chrome. If you're familiar with browser extensions, you can quickly install FiveUI from the binaries: - - Chrome: fiveui.crx - - FireFox: fiveui.xpi + - Chrome: [fiveui.crx](http://galoisinc.github.com/FiveUI/binaries/fiveui.crx) + - 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. |