paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 056146: pick correct name, but


From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 056146: pick correct name, but some settings are wrongly u...
Date: Wed, 27 Apr 2016 16:03:13 -0700

  Branch: refs/heads/test_targets_expr
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 056146e5db4ede9b0e4a3d5b8499df0a830b2733
      
https://github.com/paparazzi/paparazzi/commit/056146e5db4ede9b0e4a3d5b8499df0a830b2733
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-04-28 (Thu, 28 Apr 2016)

  Changed paths:
    M sw/lib/ocaml/gen_common.ml

  Log Message:
  -----------
  pick correct name, but some settings are wrongly unloaded



reply via email to

[Prev in Thread] Current Thread [Next in Thread]