(cherry picked from commit 94da229a7788d74685d1591a4e75a8341de64f41)
This commit is contained in:
Wenkai Du
2023-07-21 07:31:27 -07:00
zatwierdzone przez GitHub
rodzic 59db7b8722
commit a7fcd58a97
15 zmienionych plików z 159 dodań i 56 usunięć
+1 -1
Wyświetl plik
@@ -21,7 +21,7 @@
DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
for i in {0..78}
for i in {0..80}
do
if [[ $i -eq 50 ]] || [[ $i -eq 51 ]]
then