Skip to content

Remove knotc restart and references to it, since knotc cannot start the server anymore.

Ondřej Surý requested to merge remove-knotc-restart into master

Merge request reports