diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-31 15:21:02 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-31 15:21:02 -0700 |
| commit | 92eb52ee3093b79e944d8d15724d0da0800efe09 (patch) | |
| tree | bf5e1c2afd1e084643ac745d0b0e782f3d6b3918 /doc | |
| parent | 5c17f450f1c25fc6c602770c3802f13b3806e5c6 (diff) | |
added note about manifest warning
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/install.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual_src/install.md b/doc/manual_src/install.md index f52346d..da4dd61 100644 --- a/doc/manual_src/install.md +++ b/doc/manual_src/install.md @@ -85,5 +85,8 @@ located at `d:\binaries\fiveui_chrome.zip`  + * **Note:** The warning message reading "Support for manifest version 1 is being phased out." + is a known issue and does not affect the FiveUI extension (for now). + FiveUI is now installed. The [Getting Started guide](gettingStarted.html) explains how to configure and use the extension. |