This commit is contained in:
2025-12-19 16:42:40 -06:00
parent 4bdbde52a0
commit 45e2fc7f2c
50 changed files with 481 additions and 60612 deletions

View File

@@ -38,7 +38,7 @@ function isRecognizedExtension(ext) {
function find_in_path(filename, exts = []) {
if (typeof filename != 'string') return null
if (filename.includes('.')) {
var candidate = filename // possibly need "/" ?
if (io.exists(candidate) && !io.is_directory(candidate)) return candidate