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/installer | |
| parent | 929510a45daf622213d46bfb97b7c37b8501625c (diff) | |
| download | guix-92587f8ed6b5217cf02cfdaf208a78491729da15.tar.gz | |
lint: 'check-patch-file-names' restricts to shorter file names.
* guix/lint.scm (check-patch-file-names): Increase MARGIN.
Diffstat (limited to 'gnu/installer')
0 files changed, 0 insertions, 0 deletions