dotfiles

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit ce704a0b22fd18865a07e72b5f61fe09dc671e53
parent 1d9042609f1d281ded2de75ffaf5cc2379247cee
Author: Janis Pagel <janis.pagel@ims.uni-stuttgart.de>
Date:   Sun,  8 Sep 2019 17:40:32 +0200

Rename install script

Diffstat:
Rdotfiles.sh -> install_dotfiles.sh | 0
1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/dotfiles.sh b/install_dotfiles.sh