Andreas Huber e15b16a65f fix development server proxy

2020-10-17 14:27:54 +02:00

..

src

fix development server proxy

2020-10-17 14:27:54 +02:00

.gitignore

ignore hs_err_pid files

2019-10-09 19:03:13 +02:00

build.gradle

update libraries

2020-09-19 19:00:56 +02:00