paparazzi-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 9c1b39: [gcs] kill confirmatio

From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 9c1b39: [gcs] kill confirmation optional with -no_confirm_...
Date: Mon, 09 Nov 2015 06:02:44 -0800 
  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 9c1b39c3d19de23b9461d21142f69e6543aaa0ed
      
https://github.com/paparazzi/paparazzi/commit/9c1b39c3d19de23b9461d21142f69e6543aaa0ed
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M sw/ground_segment/cockpit/gcs.ml
    M sw/ground_segment/cockpit/live.ml
    M sw/ground_segment/cockpit/live.mli
    M sw/ground_segment/cockpit/strip.ml
    M sw/ground_segment/cockpit/strip.mli

  Log Message:
  -----------
  [gcs] kill confirmation optional with -no_confirm_kill option

close #873
reply via email to
[Prev in Thread] Current Thread [Next in Thread]