Juergen Zimmermann 17eb46997a Domain changed to h-ka.de (formerly: hs-karlsruhe.de), see www.h-ka.de		2021-04-25 19:45:13 +02:00
..
domains	Domain changed to h-ka.de (formerly: hs-karlsruhe.de), see www.h-ka.de	2021-04-25 19:45:13 +02:00
junit-4.10.jar