2 Commits

Author	SHA1	Message	Date
John Livingston	d5c327565c	Adding SPDX headers (WIP)	2024-05-23 11:42:14 +02:00
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