Skip license.xml and versions.xml

2025-08-10 02:56:24 +00:00 · 2008-11-12 16:30:31 +00:00
parent ae4e01f04a
commit 3da4fd166e
1 changed files with 2 additions and 0 deletions
--- a/scripts/rev.php
+++ b/scripts/rev.php
@ -297,6 +297,8 @@ function do_revcheck($dir = '') {
            || $file == 'DO_NOT_TRANSLATE'
            || $file == 'rsusi.txt'
            || $file == 'missing-ids.xml'
+            || $file == 'license.xml'
+            || $file == 'versions.xml'
            ) {
                continue;
            }