search

runtimeverification / gitbook-kontrol

https://docs.runtimeverification.com/kontrol
4 stars 3 forks source link

Remove unnecessary backslash #18

Closed JuanCoRo closed 1 year ago

JuanCoRo commented 1 year ago

Removes an unnecessary backslash