[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 5a0051: [paparazzi center] dis
From: |
GitHub |
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 5a0051: [paparazzi center] disable build/upload buttons du... |
Date: |
Thu, 30 Apr 2015 12:30:47 -0700 |
Branch: refs/heads/disable_build_button
Home: https://github.com/paparazzi/paparazzi
Commit: 5a0051898214e9efbe8d2b2b947ec7fce7aae2f8
https://github.com/paparazzi/paparazzi/commit/5a0051898214e9efbe8d2b2b947ec7fce7aae2f8
Author: Felix Ruess <address@hidden>
Date: 2015-04-30 (Thu, 30 Apr 2015)
Changed paths:
M sw/supervision/pc_aircraft.ml
M sw/supervision/pc_common.ml
Log Message:
-----------
[paparazzi center] disable build/upload buttons during build
should fix #603
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 5a0051: [paparazzi center] disable build/upload buttons du...,
GitHub <=