Andreas Huber 7d3ae61656 rename put to putString to make it easier for ides to find references

2021-10-16 18:45:55 +02:00

..

src

rename put to putString to make it easier for ides to find references

2021-10-16 18:45:55 +02:00

.gitignore

different tags could be written to the same file

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

build.gradle

replace keys.csv with persistent map

2021-10-16 17:28:15 +02:00