diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-02-10 11:18:12 +0100 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-02-10 11:18:12 +0100 |
commit | 5e8d6b1bf407ab011c4201289a9ea08b253bab60 (patch) | |
tree | 87a6305d498b00e7618d48366cdf8c291bf50ff1 /Base/home | |
parent | 2def3d8d3ff3c913919cd64b2bf75b77ee57d1cf (diff) | |
download | serenity-5e8d6b1bf407ab011c4201289a9ea08b253bab60.zip |
Base: Rename /users to /home.
I didn't like seeing /users next to /usr. /home looks nicer.
Diffstat (limited to 'Base/home')
-rw-r--r-- | Base/home/anon/myfile.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Base/home/anon/myfile.txt b/Base/home/anon/myfile.txt new file mode 100644 index 0000000000..0cb5887cc7 --- /dev/null +++ b/Base/home/anon/myfile.txt @@ -0,0 +1 @@ +This is anon's file. |