andi bb8dbad393 different tags could be written to the same file ...

There was a missing synchronization in the code that maps
Strings to Integers.

2018-07-28 08:37:30 +02:00

..

src

different tags could be written to the same file

2018-07-28 08:37:30 +02:00

.gitignore

different tags could be written to the same file

2018-07-28 08:37:30 +02:00

build.gradle

reduce memory usage

2018-03-19 19:21:57 +01:00