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
..
lib	Links to online documentation:	2023-07-26 18:16:30 +02:00
.eslintrc.json	Fix unused options.	2021-04-07 18:29:17 +02:00
main.ts	Some refactoring.	2023-07-06 14:10:05 +02:00
tsconfig.json	Adding a Shared folder:	2021-05-01 18:30:21 +02:00