paparazzi-commits
[Top][All Lists]
Advanced

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

[paparazzi-commits] [paparazzi/paparazzi] 59ef24: increment properly pro


From: Gautier Hattenberger
Subject: [paparazzi-commits] [paparazzi/paparazzi] 59ef24: increment properly process id
Date: Fri, 01 May 2020 14:00:26 -0700

  Branch: refs/heads/gen_telemetry_process_number
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 59ef24ea2be51e784ad5e946686cb53186a495e3
      
https://github.com/paparazzi/paparazzi/commit/59ef24ea2be51e784ad5e946686cb53186a495e3
  Author: Gautier Hattenberger <address@hidden>
  Date:   2020-05-01 (Fri, 01 May 2020)

  Changed paths:
    M sw/tools/generators/gen_periodic.ml

  Log Message:
  -----------
  increment properly process id





reply via email to

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