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

[paparazzi-commits] [paparazzi/paparazzi] f0519c: ok, really fix the gen

From: noreply
Subject: [paparazzi-commits] [paparazzi/paparazzi] f0519c: ok, really fix the generation of settings.h now
Date: Fri, 21 Oct 2011 14:40:59 -0700 
  Branch: refs/heads/dev
  Home:   https://github.com/paparazzi/paparazzi

  Commit: f0519cc0f6382bebcd1eb1a03ecb4ba34e7d0c32
      
https://github.com/paparazzi/paparazzi/commit/f0519cc0f6382bebcd1eb1a03ecb4ba34e7d0c32
  Author: Felix Ruess <address@hidden>
  Date:   2011-10-21 (Fri, 21 Oct 2011)

  Changed paths:
    M sw/tools/gen_settings.ml

  Log Message:
  -----------
  ok, really fix the generation of settings.h now
reply via email to
[Prev in Thread] Current Thread [Next in Thread]