rm push/pop

This commit is contained in:
2026-02-26 08:13:27 -06:00
parent ef7e3e6449
commit ce6b0ddb3a
31 changed files with 251 additions and 255 deletions

View File

@@ -94,7 +94,7 @@ function read_ignore(dir) {
arrfor(lines, function(line) {
var trimmed = trim(line)
if (!trimmed || starts_with(trimmed, '#')) return
push(patterns, trimmed)
patterns[] = trimmed
})
}
return patterns
@@ -115,7 +115,7 @@ Resources.getAllFiles = function(dir) {
if (!st.filesize) return
var ext = getExtension(f)
if (!isRecognizedExtension(ext)) return
push(results, fullPath)
results[] = fullPath
} disruption {
// skip files that can't be stat'd
}