[DEECo] [d3scomp/JDEECo] f11c36: gitignore updated, JPF settings for convoy

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: f11c36d5b1b0abd2ee8630607d8dbeca011120e1
      https://github.com/d3scomp/JDEECo/commit/f11c36d5b1b0abd2ee8630607d8dbeca011120e1
  Author: Jaroslav Keznikl <jaroslav.keznikl at gmail.com>
  Date:   2012-11-27 (Tue, 27 Nov 2012)

  Changed paths:
    M .gitignore
    A jpf/convoy.jpf

  Log Message:
  -----------
  gitignore updated, JPF settings for convoy