tilde/bin/run_efi, branch main This is a collection of various dot-files and scripts that I have. some scripts 2020-04-26T11:08:12+00:00 Cynthia Revström me@cynthia.re 2020-04-26T11:08:12+00:00 1c26711cecfb7dd99f42844ab8227ff37f39c5b6