Andreas Huber faddbfa014 strip prefix "Default" from class names

2021-03-29 15:47:29 +02:00

..

src

strip prefix "Default" from class names

2021-03-29 15:47:29 +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