diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 15:58:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 16:02:51 +0200 |
| commit | 92587f8ed6b5217cf02cfdaf208a78491729da15 (patch) | |
| tree | 12533d72798957f706de48e3c7d956b56df41260 /gnu/bootloader/u-boot.scm | |
| parent | 929510a45daf622213d46bfb97b7c37b8501625c (diff) | |
lint: 'check-patch-file-names' restricts to shorter file names.
* guix/lint.scm (check-patch-file-names): Increase MARGIN.
Diffstat (limited to 'gnu/bootloader/u-boot.scm')
0 files changed, 0 insertions, 0 deletions