Skip to content

file headers: Replace non-license name OtherLicense by the license name of what …

Mike Gabriel requested to merge mga/curry-frontend:pr/fix-file-headers into master

…is found in the LICENSE file.

Please merge this proposed changes and release 0.4.2 of curry-frontend. Similar to what we did for curry-base prior to the official Debian upload.

Greets, Mike

Merge request reports