More resources used by both runner and manager.

This commit is contained in:
Michael Lipp 2023-09-14 09:56:28 +02:00
parent d9c2f6edd3
commit 2b471f3852
12 changed files with 62 additions and 22 deletions

View file

@ -1,5 +1,5 @@
#
#Fri Sep 01 16:56:14 CEST 2023
#Thu Sep 14 09:53:57 CEST 2023
org.eclipse.jdt.core.formatter.insert_space_after_ellipsis=insert
org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_declarations=insert
org.eclipse.jdt.core.formatter.insert_new_line_in_empty_annotation_declaration=insert