3fd6b9b563
* 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. |
||
---|---|---|
.. | ||
backend.ts | ||
debug.ts | ||
index.ts | ||
prosody.ts | ||
utils.ts | ||
video.ts |