|
From: | GitHub |
Subject: | [paparazzi-commits] [paparazzi/paparazzi] 9dd6db: [logalizer] fix usage of info of logplotter |
Date: | Fri, 17 Jul 2015 02:23:44 -0700 |
Branch: refs/heads/v5.5 Home: https://github.com/paparazzi/paparazzi Commit: 9dd6db7b14c9c18619ad14784a277851df009756 https://github.com/paparazzi/paparazzi/commit/9dd6db7b14c9c18619ad14784a277851df009756 Author: Felix Ruess <address@hidden> Date: 2015-07-17 (Fri, 17 Jul 2015) Changed paths: M sw/logalizer/logplotter.ml Log Message: ----------- [logalizer] fix usage of info of logplotter
[Prev in Thread] | Current Thread | [Next in Thread] |