diff options
author | Marek Paśnikowski <marekpasnikowski@protonmail.com> | 2023-02-07 13:36:58 +0100 |
---|---|---|
committer | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2023-02-07 13:36:58 +0100 |
commit | 9807d8c318feedd48ba0890c5f1b3cdc17188d5e (patch) | |
tree | 1f025403c3c6c62be929cd0801aa25f6511dcf52 | |
parent | b48b243873e50395e9954edd4f6b3cfeecc7d57a (diff) |
Remove orphaned file
-rw-r--r-- | services/flashrom.scm | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/services/flashrom.scm b/services/flashrom.scm deleted file mode 100644 index 97a5d17..0000000 --- a/services/flashrom.scm +++ /dev/null @@ -1,17 +0,0 @@ -(define-module (flashrom) - #:use-module (gnu) - #:use-module (gnu home) - #:use-module (gnu home services) - #:use-module (gnu home services shells)) - -(define-public flashrom-package - (service - (service-type - (name 'flashrom-package) - (extensions - `(,(service-extension home-profile-service-type - (lambda (_) - (map specification->package - '("flashrom")))))) - (description "Flashrom installation.") - (default-value #f)))) |