KeYProject/key-docs

Missing LICENSE

Opened this issue · 0 comments

It is good practice to license the documentation explicitly.

Suggestions: