• Jeffrey Lee's avatar
    Remove redundant GET · d336b82f
    Jeffrey Lee authored
    Detail:
      s/Wimp - IO header doesn't appear to be necessary for build, so don't get it
    Admin:
      Tested with PlingSystem build (new "26" machine type aims to be machine-independent, so doesn't define $GetIO)
      Untested at runtime
    
    
    Version 5.54. Tagged as 'Wimp-5_54'
    d336b82f
VersionNum 803 Bytes