Changing the FlightGear license: Difference between revisions