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
..
@types	Links to online documentation:	2023-07-26 18:16:30 +02:00
videowatch	Links to online documentation:	2023-07-26 18:16:30 +02:00
.eslintrc.json
admin-plugin-client-plugin.ts	Localization refactoring:	2023-06-12 19:36:14 +02:00
common-client-plugin.ts	Localization refactoring:	2023-06-12 19:36:14 +02:00
settings.ts	Links to online documentation:	2023-07-26 18:16:30 +02:00
tsconfig.json	Use ESBuild for frontend build.	2022-12-12 19:31:29 +01:00
videowatch-client-plugin.ts	Links to online documentation:	2023-07-26 18:16:30 +02:00