1
0
mirror of https://github.com/nix-community/home-manager synced 2024-05-31 20:13:34 +02:00

version: add 20.03

This commit is contained in:
Nikita Uvarov 2019-10-28 16:14:39 +01:00 committed by Robert Helgesson
parent 26defdf205
commit 149c0593ab
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -5,7 +5,7 @@ with lib;
{
options = {
home.stateVersion = mkOption {
type = types.enum [ "18.09" "19.03" "19.09" ];
type = types.enum [ "18.09" "19.03" "19.09" "20.03" ];
default = "18.09";
description = ''
It is occasionally necessary for Home Manager to change