root
/
spring-framework
mirror of https://github.com/spring-projects/spring-framework.git
1
0
Fork 0
Code Issues Actions 10 Packages Projects Releases Wiki Activity

Merge branch '5.3.x'

This commit is contained in:
Sam Brannen 2022-06-16 16:14:05 +02:00
parent f41b99218e bdf91ac435
commit a1f14e8eeb
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gradle/ide.gradle
View File

@ -72,6 +72,7 @@ eclipse.classpath.file.whenMerged {
// Include project specific settings // Include project specific settings
task eclipseSettings(type: Copy) { task eclipseSettings(type: Copy) {
from rootProject.files( from rootProject.files(
'src/eclipse/org.eclipse.core.resources.prefs',
'src/eclipse/org.eclipse.jdt.core.prefs', 'src/eclipse/org.eclipse.jdt.core.prefs',
'src/eclipse/org.eclipse.jdt.ui.prefs') 'src/eclipse/org.eclipse.jdt.ui.prefs')
into project.file('.settings/') into project.file('.settings/')
@ -79,6 +80,7 @@ task eclipseSettings(type: Copy) {
} }
task cleanEclipseSettings(type: Delete) { task cleanEclipseSettings(type: Delete) {
delete project.file('.settings/org.eclipse.core.resources.prefs')
delete project.file('.settings/org.eclipse.jdt.core.prefs') delete project.file('.settings/org.eclipse.jdt.core.prefs')
delete project.file('.settings/org.eclipse.jdt.ui.prefs') delete project.file('.settings/org.eclipse.jdt.ui.prefs')
} }

2
src/eclipse/org.eclipse.core.resources.prefs Normal file
View File

@ -0,0 +1,2 @@
eclipse.preferences.version=1
encoding/<project>=UTF-8