tree 95f76bb60125d94904493593fe038b2431351607
parent 4689e79664410a2420e52a249ce78cbad7c569b8
author Marc Kupietz <kupietz@ids-mannheim.de> 1631084785 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1631117025 +0200

Tutorial: rename korap to devlopment also internally

This has to be done in a separate second step because it's pretty error-prone.

Follow up to I05dbd6d938324151e5eb1cbe15a66790da13c63c

Change-Id: Ib0b7e546f2a9dd5c321516774cf95bab74c42962