[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] f5fee3: [modules] more options
From: |
Gautier Hattenberger |
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] f5fee3: [modules] more options to get modules list, even w... |
Date: |
Thu, 24 Mar 2022 02:16:57 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: f5fee3c2cbf1a75566f592fd417e7fba745cc428
https://github.com/paparazzi/paparazzi/commit/f5fee3c2cbf1a75566f592fd417e7fba745cc428
Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
Date: 2022-03-24 (Thu, 24 Mar 2022)
Changed paths:
M sw/tools/generators/dump_modules_list.ml
Log Message:
-----------
[modules] more options to get modules list, even without the conf.xml file
(#2848)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] f5fee3: [modules] more options to get modules list, even w...,
Gautier Hattenberger <=