3fd6b9b563
* Adding a help button on top of the chat, that links to the online documentation on frama.io. * Replaced github.io documentation links by frama.io documentation. * Adding links to the documentation in the diagnostic tool. |
||
|---|---|---|
| .. | ||
| avatars | ||
| bye.svg | ||
| help.svg | ||
| logo.svg | ||
| new-window.svg | ||
| talking-new-window.svg | ||
| talking.svg | ||
| url.svg | ||
