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

[paparazzi-commits] [paparazzi/paparazzi] 33de56: [ocaml] rename META.pp

From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 33de56: [ocaml] rename META.pprz.deb to META.pprz.linux
Date: Wed, 18 Mar 2015 07:44:00 -0700 
  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 33de564e9ea5c97893c377145ca9e000faf3b145
      
https://github.com/paparazzi/paparazzi/commit/33de564e9ea5c97893c377145ca9e000faf3b145
  Author: Felix Ruess <address@hidden>
  Date:   2015-03-18 (Wed, 18 Mar 2015)

  Changed paths:
    R sw/lib/ocaml/META.pprz.deb
    A sw/lib/ocaml/META.pprz.linux
    M sw/lib/ocaml/Makefile

  Log Message:
  -----------
  [ocaml] rename META.pprz.deb to META.pprz.linux
reply via email to
[Prev in Thread] Current Thread [Next in Thread]