[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] c9857c: [fix] correct extracti
|
From: |
Gautier Hattenberger |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] c9857c: [fix] correct extraction of settings (empty if not... |
|
Date: |
Sat, 21 Aug 2021 02:16:16 -0700 |
Branch: refs/heads/fix-replay_settings
Home: https://github.com/paparazzi/paparazzi
Commit: c9857ca118db274475d4a6200fb0e6cd8eda39df
https://github.com/paparazzi/paparazzi/commit/c9857ca118db274475d4a6200fb0e6cd8eda39df
Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
Date: 2021-08-21 (Sat, 21 Aug 2021)
Changed paths:
M sw/logalizer/play_core.ml
Log Message:
-----------
[fix] correct extraction of settings (empty if not found)
close #2765
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] c9857c: [fix] correct extraction of settings (empty if not...,
Gautier Hattenberger <=