diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-03-05T14·26+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-03-05T15·04+0000 |
| commit | 77633d22ae10ef3e5435930dce119b8fb76ac83f (patch) | |
| tree | f9ba6ca0710e9c91cb797caeafa68b432d33a5da /tools | |
| parent | df035ca832ea9ec152743e8c594b211bcf20a086 (diff) | |
Drop support for personal_laptop
My former Manjaro device is now a NixOS device called "socrates", which hosts this git repo and a few other projects.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions