This repository has been archived on 2021-12-05. You can view files and clone it, but cannot push or open issues or pull requests.

Leon Hofmeister 7a883861be Apply suggestions by @kske		2020-10-30 12:07:56 +01:00
..
BugReportPane.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
DownloadSettingsPane.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
GeneralSettingsPane.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
OnlineOnlySettingsPane.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
SettingsCheckbox.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
SettingsPane.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00
UserSettingsPane.java	Apply suggestions by @kske	2020-10-30 12:07:56 +01:00
package-info.java	Reformat all source files with new formatter	2020-10-19 18:17:51 +02:00