diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-09-17 23:13:17 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-10-03 00:04:43 +0200 |
| commit | 4164ae7cd1b7f268708d008ad4aebc6d6fb7484e (patch) | |
| tree | 1d342c224778c2adf29ff603558e258b1110226e /etc | |
| parent | a73bd30750ae03475da556107327ee9d23611fba (diff) | |
gnu: axoloti-patcher-next: Fix directory names.
* gnu/packages/axoloti.scm (axoloti-patcher-next)[arguments]: Add
sub-directory of old firmware; fix the sub-directory name of the armv7e-m
toolchain headers.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions