71dda4e721
The default is OFF, even if you have gnomepilot installed already. Problem reported by: Heath Nielson <heath@cs.byu.edu> |
||
---|---|---|
.. | ||
extra-patch-nopilot | ||
patch-ab | ||
patch-ad |
71dda4e721
The default is OFF, even if you have gnomepilot installed already. Problem reported by: Heath Nielson <heath@cs.byu.edu> |
||
---|---|---|
.. | ||
extra-patch-nopilot | ||
patch-ab | ||
patch-ad |