diff options
Diffstat (limited to 'home-manager/wms')
| -rwxr-xr-x | home-manager/wms/river/init | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home-manager/wms/river/init b/home-manager/wms/river/init index 61efd645..599992e6 100755 --- a/home-manager/wms/river/init +++ b/home-manager/wms/river/init @@ -1,7 +1,7 @@ #!/usr/bin/env dash # shellcheck source=/dev/null -SHELL_LIBRARY_VERSION="1.1.3" . %SHELL_LIBRARY_PATH +SHELL_LIBRARY_VERSION="1.1.4" . %SHELL_LIBRARY_PATH err_fail() { if ! "$@";then |