Fix the indentation

Co-Authored-By: Alexey Shmalko <rasen.dubi@gmail.com>
2019-08-12 13:37:15 +02:00
parent 2473d902e6
commit 62f7711e29
1 changed files with 1 additions and 1 deletions
@@ -22,7 +22,7 @@ in {
      type = types.bool;
      default = false;
      description = ''
-	Allow non-root users to specify the allow_other or allow_root mount
+        Allow non-root users to specify the allow_other or allow_root mount
        options, see mount.fuse3(8).
      '';
    };