tree a40748f9b57876b2d4b51ed96b222289dc34128e
parent 49b525c7be9a56c9aa6c256432524510a8dc09de
author Akron <nils@diewald-online.de> 1751551062 +0200
committer Akron <nils@diewald-online.de> 1751551062 +0200

Rename KoralPipe-TermMapper to Koral-Mapper

Change-Id: Ib71a02b6640a9d93d81cb419d760f13a60ec5f58