Commit 817b72b0 authored by Gilles Mouchard's avatar Gilles Mouchard

Removed unused endpoints in REST API of PKM, Frama-C and Frama-Clang...

Removed unused endpoints in REST API of PKM, Frama-C and Frama-Clang automatically generated by OpenAPI generator.
Added some additional message at servers startup.
parent ab185c33
Pipeline #10787 passed with stages
in 212 minutes and 4 seconds