Commit graph

2 commits

Author SHA1 Message Date
df07a8e8d8 Remove dot command from shell
dot command was only useful for working quickly with the bare
repository, since it decoupled git's working tree. Now that we have a
normal repository and are using stow the command seems no longer
necessary.
2019-12-30 10:27:20 +01:00
d34cecb27e Switch to GNU stow 2019-12-29 23:12:13 +01:00