Andreas Huber 60578b45ec PdbWriters are now closed by the cache TagsToFile ...

we do not have to close the files when the input streams are idle.

2018-10-03 16:47:29 +02:00

..

src

PdbWriters are now closed by the cache TagsToFile

2018-10-03 16:47:29 +02:00

.gitignore

new file format

2016-12-27 10:24:56 +01:00

build.gradle

simplify caching in TagsToFile

2018-09-30 10:38:25 +02:00