[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 197313: [build] only chop exte
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 197313: [build] only chop extension if it is .xml |
|
Date: |
Thu, 14 Jul 2016 03:57:23 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: 19731311899a0fb08f094bcbcc5963de069de030
https://github.com/paparazzi/paparazzi/commit/19731311899a0fb08f094bcbcc5963de069de030
Author: Gautier Hattenberger <address@hidden>
Date: 2016-07-14 (Thu, 14 Jul 2016)
Changed paths:
M sw/lib/ocaml/gen_common.ml
Log Message:
-----------
[build] only chop extension if it is .xml
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 197313: [build] only chop extension if it is .xml,
GitHub <=