paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 00744b: [ocaml] comment a brok


From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 00744b: [ocaml] comment a broken functionality in GCS edit...
Date: Mon, 19 Jan 2015 02:03:16 -0800

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 00744bf6e1ab0bc59e957f709b2cdb7f8ec7cfd2
      
https://github.com/paparazzi/paparazzi/commit/00744bf6e1ab0bc59e957f709b2cdb7f8ec7cfd2
  Author: Gautier Hattenberger <address@hidden>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M sw/lib/ocaml/mapFP.ml

  Log Message:
  -----------
  [ocaml] comment a broken functionality in GCS editor

The FP editor whill not try to update the WP names when changed in the
list. It was making a huge mess when the WP are reordered.

Any help to fix this are welcome



reply via email to

[Prev in Thread] Current Thread [Next in Thread]