tree b0432541236a3633f485eb4c46c0363745190bc8
parent 5451675c46b0e0aefa76705f157cbf47fd0a039b
parent d09ec369bb4182fed080f210307b7213cf5da5ae
author Helge <stallkamp@ids-mannheim.de> 1524732586 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1524732586 +0200

Merge "Improve windows-abandoning in makefile"