2023-10-31 20:42:36 +05:30
|
|
|
python .github/add-headers.py
|
2023-11-03 21:00:03 +05:30
|
|
|
python .github/replace.py
|
2023-10-31 20:42:36 +05:30
|
|
|
|
2023-10-29 14:41:28 +05:30
|
|
|
for file in *; do
|
|
|
|
|
[[ -f "$file" ]] && mv "$file" "${file,,}" 2>/dev/null
|
|
|
|
|
done
|
2023-11-04 22:43:46 +05:30
|
|
|
exit 0
|
