Eberhard Graether 401c23f572 ui: Smaller fonts in indexing dialogs

2016-08-26 13:45:05 +02:00

..

data

ui: Smaller fonts in indexing dialogs

2016-08-26 13:45:05 +02:00

user

data: java sample project

2016-08-25 15:18:00 +02:00