Issue 918: update license info and add copy of the GPL - Fast Downward issue tracker

Title	update license info and add copy of the GPL
Priority	feature	Status	resolved
Superseder		Nosy List	guillem, jendrik, malte
Assigned To	malte	Keywords
Optional summary

Created on 2019-06-04.16:00:32 by malte, last changed by malte.

Messages
msg8802 (view)	Author: malte	Date: 2019-06-04.17:54:05
Merged.
msg8798 (view)	Author: malte	Date: 2019-06-04.16:00:32
In issue143, we decided to follow the GPL v3+ (i.e., v3 or any newer license, at the users' choice). In this issue we update the license information in the repository and add a copy of the GPL, as the license requires/asks for.

History
Date	User	Action	Args
2019-06-04 17:54:05	malte	set	status: chatting -> resolved messages: + msg8802
2019-06-04 16:00:32	malte	create