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

[paparazzi-commits] [paparazzi/paparazzi] 8a4d3d: [modules] protect try

From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 8a4d3d: [modules] protect try catch in gen_modules
Date: Fri, 02 Jan 2015 12:15:05 -0800 
  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 8a4d3d71789fc52a6e35a2e2157259502a2e08d1
      
https://github.com/paparazzi/paparazzi/commit/8a4d3d71789fc52a6e35a2e2157259502a2e08d1
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-01-02 (Fri, 02 Jan 2015)

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

  Log Message:
  -----------
  [modules] protect try catch in gen_modules
reply via email to
[Prev in Thread] Current Thread [Next in Thread]