John Livingston 3fd6b9b563 Links to online documentation: ... * 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.		2023-07-26 18:16:30 +02:00
..
avatars	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
bye.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
help.svg	Links to online documentation:	2023-07-26 18:16:30 +02:00
logo.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
new-window.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
talking-new-window.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
talking.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00
url.svg	Moving `public` directory away:	2023-02-14 10:19:55 +01:00