Merge branch 'pr/fix-file-headers' into 'master'
file headers: Replace non-license name OtherLicense by the license name of what … …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 See merge request !2
Showing with 20 additions and 20 deletions