[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] adc67b: [gcs] use camlp4 to de
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] adc67b: [gcs] use camlp4 to deal with native window id cha... |
|
Date: |
Tue, 17 Mar 2015 06:40:50 -0700 |
Branch: refs/heads/camlp4_ifdef
Home: https://github.com/paparazzi/paparazzi
Commit: adc67bcc62cd6fba5bd3a7fca2f9a7355b0ca298
https://github.com/paparazzi/paparazzi/commit/adc67bcc62cd6fba5bd3a7fca2f9a7355b0ca298
Author: Felix Ruess <address@hidden>
Date: 2015-03-17 (Tue, 17 Mar 2015)
Changed paths:
M sw/ground_segment/cockpit/Makefile
M sw/ground_segment/cockpit/gcs.ml
Log Message:
-----------
[gcs] use camlp4 to deal with native window id change in lablgtk 2.18
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] adc67b: [gcs] use camlp4 to deal with native window id cha...,
GitHub <=