[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] d52d61: [generators] add missi
|
From: |
Gautier Hattenberger |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] d52d61: [generators] add missing close files |
|
Date: |
Sat, 15 May 2021 13:10:19 -0700 |
Branch: refs/heads/fix-generators_file_closing
Home: https://github.com/paparazzi/paparazzi
Commit: d52d611c78ae0558368107029cbe3e1e5c5f22a0
https://github.com/paparazzi/paparazzi/commit/d52d611c78ae0558368107029cbe3e1e5c5f22a0
Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
Date: 2021-05-15 (Sat, 15 May 2021)
Changed paths:
M sw/tools/generators/gen_airframe.ml
M sw/tools/generators/gen_modules.ml
M sw/tools/generators/gen_settings.ml
Log Message:
-----------
[generators] add missing close files
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] d52d61: [generators] add missing close files,
Gautier Hattenberger <=