file headers: Replace non-license name OtherLicense by the license name of what … (!2) · Merge requests · curry / curry-frontend

…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

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