Skip to content
Commit d2fb0b02 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Generated BAT's names are capitalized but not all-uppercase. 

Hence, the names are Kr2014, Ecai2014, and Kitchen.
That change is mostly for the last one.
parent 8abd2baa
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment