2 Commits

Author	SHA1	Message	Date
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
John Livingston	42c21ead94	Moving `public` directory away: ... Moving `public/images` dir to `assets/images`, because it conflicts with gitlab CI/CD for documentation. Moving `assets/styles.css` to `assets/styles/styles.css`. Related to #117.	2023-02-14 10:19:55 +01:00