combine 2 levels of indent
[?]
May 1, 2023, 4:54 AM
WQLKXW3NTOI7XVS6GMVFAK7PZPS4L3HW3KIU2AKVGXEV7SRH5UEQCDependencies
- [2]
WBDC7JGWbugfix: deleting definitions - [3]
QFFTXR7Enew file-system format for freewheeling apps - [4]
TNRO6KLZnew live app
Change contents
- replacement in main.lua at line 88
if numeric_prefix thenif tonumber(numeric_prefix) > 0 then -- skip 0000app.Filename[root] = filenametable.insert(app.Filenames_to_load, filename)app.Final_prefix = math.max(app.Final_prefix, tonumber(numeric_prefix))endif numeric_prefix and tonumber(numeric_prefix) > 0 then -- skip 0000app.Filename[root] = filenametable.insert(app.Filenames_to_load, filename)app.Final_prefix = math.max(app.Final_prefix, tonumber(numeric_prefix))