1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-16 08:09:45 +01:00

zsh: add missing periods in descriptions

This commit is contained in:
Robert Helgesson 2018-06-09 10:29:02 +02:00
parent 06a984e4ff
commit f3473b9eba
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -53,13 +53,13 @@ let
expireDuplicatesFirst = mkOption { expireDuplicatesFirst = mkOption {
type = types.bool; type = types.bool;
default = false; default = false;
description = "Expire duplicates first"; description = "Expire duplicates first.";
}; };
extended = mkOption { extended = mkOption {
type = types.bool; type = types.bool;
default = false; default = false;
description = "Save timestamp into the history file"; description = "Save timestamp into the history file.";
}; };
share = mkOption { share = mkOption {