[paparazzi-commits] [paparazzi/paparazzi] 708215: [tools] propsal to use meld instead of tkdiff, whi...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 7082154183060c7a576f543443529f55ffc69c11
      
https://github.com/paparazzi/paparazzi/commit/7082154183060c7a576f543443529f55ffc69c11
  Author: Dino Hensen <address@hidden>
  Date:   2013-03-19 (Tue, 19 Mar 2013)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [tools] propsal to use meld instead of tkdiff, which is nowadays removed from 
ubuntu repo


  Commit: b3c3ca845dac7440e2021562243e3136bba7bbe4
      
https://github.com/paparazzi/paparazzi/commit/b3c3ca845dac7440e2021562243e3136bba7bbe4
  Author: Felix Ruess <address@hidden>
  Date:   2013-03-19 (Tue, 19 Mar 2013)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  Merge pull request #394 from RoboticaTUDelft/pprz_center_tool_update

meld instead of tkdiff in pprz center


Compare: 
https://github.com/paparazzi/paparazzi/compare/6f70adf31bef...b3c3ca845dac