paparazzi-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] d8e590: [settings] remove sett

From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] d8e590: [settings] remove settings from automatically unlo...
Date: Wed, 08 Oct 2014 14:30:30 -0700 
  Branch: refs/heads/modules_settings
  Home:   https://github.com/paparazzi/paparazzi
  Commit: d8e590dead74e38273cff03e98528574ecb9175d
      
https://github.com/paparazzi/paparazzi/commit/d8e590dead74e38273cff03e98528574ecb9175d
  Author: Gautier Hattenberger <address@hidden>
  Date:   2014-10-08 (Wed, 08 Oct 2014)

  Changed paths:
    M sw/tools/generators/gen_settings.ml

  Log Message:
  -----------
  [settings] remove settings from automatically unloaded modules
reply via email to
[Prev in Thread] Current Thread [Next in Thread]