src/plugins/server/kernel_ast.ml · 44ad434e4299f0d3bf4c411271e5d6e367f9ad93 · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
e5a5a981
[ivette] Renames the "Informations" panel as "Inspector". · e5a5a981
David Bühler authored 3 years ago
```
In the server, ivette and requests, changes [informations] to [information].
```
e5a5a981

History
[ivette] Renames the "Informations" panel as "Inspector".
David Bühler authored 3 years ago
```
In the server, ivette and requests, changes [informations] to [information].
```