diff options
author | Ivan Gavrilovic <gavra@google.com> | 2020-08-06 19:04:55 +0100 |
---|---|---|
committer | Ivan Gavrilovic <gavra@google.com> | 2020-08-07 14:05:25 +0100 |
commit | 5466f5c60b870b6f1d94cfc1e6e2751c2cb4bc15 (patch) | |
tree | 8037c40ed47ca57ac46498ac3f0b1a2d1f2dac35 | |
parent | a0736a0ae99e03e11f25754755ceaf7780a783cd (diff) | |
download | manifest-5466f5c60b870b6f1d94cfc1e6e2751c2cb4bc15.tar.gz |
Symlink .editorconfig from buildSrc to tools/
Bug: n/a
Test: existing
Change-Id: Icba55d2cfc6d00514df6963fab2113f76dc3e516
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 3e4ccc277..aaa638f40 100644 --- a/default.xml +++ b/default.xml @@ -19,6 +19,7 @@ <copyfile src="base/settings.gradle" dest="tools/settings.gradle" /> <copyfile src="base/gradlew" dest="tools/gradlew" /> <copyfile src="base/gradlew.bat" dest="tools/gradlew.bat" /> + <linkfile src="base/.editorconfig" dest="tools/.editorconfig" /> <linkfile src="base/gradle.properties" dest="tools/gradle.properties" /> </project> |