]> WPIA git - gigi.git/commit
upd: terminology in API
authorLucas Werkmeister <mail@lucaswerkmeister.de>
Mon, 27 Feb 2017 16:59:11 +0000 (17:59 +0100)
committerLucas Werkmeister <mail@lucaswerkmeister.de>
Mon, 27 Feb 2017 19:17:36 +0000 (20:17 +0100)
commitcf4428db59b065c42c8a76883cf60f6b618aead8
treed658f3a07c81fbb395767d9dbfd191deff85d5eb
parent42222135161915d0e6e05264b3b3aa652af599d0
upd: terminology in API

Change-Id: I6890eaf6fbbe3317a198ca5334afa92d8afa47e6
src/club/wpia/gigi/api/FindAgent.java
tests/club/wpia/gigi/api/TestFindAgent.java