combine 2 levels of indent

[?]
May 1, 2023, 4:54 AM
WQLKXW3NTOI7XVS6GMVFAK7PZPS4L3HW3KIU2AKVGXEV7SRH5UEQC

Dependencies

  • [2] WBDC7JGW bugfix: deleting definitions
  • [3] QFFTXR7E new file-system format for freewheeling apps
  • [4] TNRO6KLZ new live app

Change contents

  • replacement in main.lua at line 88
    [2.138][2.138:416]()
    if numeric_prefix then
    if tonumber(numeric_prefix) > 0 then -- skip 0000
    app.Filename[root] = filename
    table.insert(app.Filenames_to_load, filename)
    app.Final_prefix = math.max(app.Final_prefix, tonumber(numeric_prefix))
    end
    [2.138]
    [3.3679]
    if numeric_prefix and tonumber(numeric_prefix) > 0 then -- skip 0000
    app.Filename[root] = filename
    table.insert(app.Filenames_to_load, filename)
    app.Final_prefix = math.max(app.Final_prefix, tonumber(numeric_prefix))