mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-01-27 12:52:11 +01:00
c35074c0f0
Stac, please let me know. Yeah, I should do this in a patch, but this change should do no harm as it keeps Windows working and Linux in theory. It is cosmetic for the list of ports. git-svn-id: svn://svn.openpilot.org/OpenPilot/trunk@721 ebee16cc-31ac-478f-84a7-5cbb03baadba