chg: ensure actor, target and support ticket are non-null
[gigi.git] / .project
2017-07-05 Felix Dörreupd: further cleaning of old/unused configs and scripts
2014-06-19 Felix DörreAdd initial eclipse project