diff --git a/scripts/rev.php b/scripts/rev.php index fc39621..f64f437 100644 --- 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; }