Feature/improve build (#9)

This commit is contained in:
Michael N. Lipp 2023-09-22 16:50:38 +02:00 committed by GitHub
parent fe7f336376
commit d42900afe7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 42 additions and 55 deletions

View file

@ -1,5 +1,5 @@
#
#Thu Sep 14 22:05:28 CEST 2023
#Fri Sep 22 15:21:52 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