mirror of
https://github.com/TECHNOFAB11/disko.git
synced 2025-12-12 16:10:03 +01:00
feat: missing description
This commit is contained in:
parent
ab33709297
commit
d4874c22a0
1 changed files with 1 additions and 0 deletions
|
|
@ -208,6 +208,7 @@ rec {
|
||||||
in
|
in
|
||||||
isString x && (x == "/" || (length xs > 0 && all filename.check xs));
|
isString x && (x == "/" || (length xs > 0 && all filename.check xs));
|
||||||
merge = mergeOneOption;
|
merge = mergeOneOption;
|
||||||
|
description = "A path name";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue