diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-10-18 13:09:54 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-10-18 13:09:54 +0200 |
| commit | 0df1eb029efe5ebe3f02e36fa650cae4aaba89ec (patch) | |
| tree | f370dbd2fd3676b8c910cb9c464aa198b326b1c5 /gnu/packages/patches | |
| parent | 62fd9d75535bd0de797adc7b1f280a7eb950acdf (diff) | |
gnu: flashrom: Patch type error.
* gnu/packages/flashing-tools.scm (flashrom)[arguments]: Add phase
'patch-type-error to fix a compilation error.
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions