Merge "Remove some XML files from harddiff.sh." into main am: 0e91fbf…

… am: c505d18 Original change: https://android-review.googlesource.com/c/platform/external/robolectric/+/3130618 Change-Id: I03d5228f8a2418ec201a59d4fd6ff0b12ce11c3d Signed-off-by: Automerger Merge Worker <[email protected]>
WitAqua · Jun 13, 2024 · 946b77d · 946b77d
2 parents 270d309 + c505d18
commit 946b77d
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/harddiff.sh b/harddiff.sh
@@ -37,9 +37,6 @@ diff -Naur . /tmp/robo/robolectric \
   -x '*.dat' \
   -x 'lint-baseline.xml' \
   -x 'robo-manifest.xml' \
-  -x 'FontAndroidManifest.xml' \
-  -x 'config.xml' \
-  -x 'public.xml' \
   -x 'AndroidManifest.xml' \
   -x 'README' \
   -x 'robolectric.properties' \