[paparazzi-commits] [paparazzi/paparazzi] 378d9d: cleanup whitespaces in google map utilities and gc...

[noreply]

Branch: refs/heads/master
Home:   https://github.com/paparazzi/paparazzi

Commit: 378d9db94162bbbabab7377faa17d11af9f2a474
    
https://github.com/paparazzi/paparazzi/commit/378d9db94162bbbabab7377faa17d11af9f2a474
Author: Felix Ruess <address@hidden>
Date:   2010-12-10 (Fri, 10 Dec 2010)

Changed paths:
  M sw/ground_segment/cockpit/gcs.ml
  M sw/lib/ocaml/gm.ml
  M sw/lib/ocaml/gm.mli

Log Message:
-----------
cleanup whitespaces in google map utilities and gcs


Commit: 30e30265accaf4e48fb97df6fbe82bcbbfa17a3a
    
https://github.com/paparazzi/paparazzi/commit/30e30265accaf4e48fb97df6fbe82bcbbfa17a3a
Author: Felix Ruess <address@hidden>
Date:   2010-12-10 (Fri, 10 Dec 2010)

Changed paths:
  M sw/ground_segment/cockpit/gcs.ml
  M sw/lib/ocaml/gm.ml
  M sw/lib/ocaml/gm.mli

Log Message:
-----------
GCS: select NoHttp as default map policy in menu when started with 
-no_google_http command line option, it is still switchable. Thanks 
Serge./paparazzi Closes gh-8.