blob: ed82ed7c949f8f45f7272486bc247f450cfba2af [file] [log] [blame]
# Empty file waiting for deletion once Makefile.boot isn't needed any more.