blob: ed82ed7c949f8f45f7272486bc247f450cfba2af [file] [log] [blame]
rjw1f884582022-01-06 17:20:42 +08001# Empty file waiting for deletion once Makefile.boot isn't needed any more.