[paparazzi-commits] [paparazzi/paparazzi] a7936a: Merge branch 'master' of github.com:paparazzi/papa...

[noreply]

Branch: refs/heads/master
Home:   https://github.com/paparazzi/paparazzi

Commit: a7936af52864c23b157a93720d7eca287fe67e9c
    
https://github.com/paparazzi/paparazzi/commit/a7936af52864c23b157a93720d7eca287fe67e9c
Author: Eric <address@hidden>
Date:   2010-11-21 (Sun, 21 Nov 2010)

Changed paths:
  M README
  M conf/messages.xml

Log Message:
-----------
Merge branch 'master' of github.com:paparazzi/paparazzi


Commit: 7bfdeb7f21b57d156f847410a998969807a28944
    
https://github.com/paparazzi/paparazzi/commit/7bfdeb7f21b57d156f847410a998969807a28944
Author: Eric <address@hidden>
Date:   2010-11-21 (Sun, 21 Nov 2010)

Changed paths:
  M sw/lib/ocaml/ivy/civyloop.c

Log Message:
-----------
ivy-ocaml update