Marty Oehme 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
..
shell	Remove dot command from shell	2019-12-30 10:27:20 +01:00