Jan Peter Stotz 718caf8cb1 chore (gui): Add button in preferences dialog to copy the preference values in text form (json) to clipboard

2020-08-16 13:05:49 +02:00

..

main

chore (gui): Add button in preferences dialog to copy the preference values in text form (json) to clipboard

2020-08-16 13:05:49 +02:00

test

style: prefer use Stream.of method

2020-05-10 15:46:06 +01:00