1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-29 01:48:31 +02:00

rofi: string -> str

This commit is contained in:
Alex Rice 2019-09-03 01:25:24 +01:00
parent d5e73c39fc
commit ec0459e139
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88

View File

@ -270,7 +270,7 @@ in
theme = mkOption {
default = null;
type = with types; nullOr (either string path);
type = with types; nullOr (either str path);
example = "Arc";
description = ''
Name of theme or path to theme file in rasi format. Available