This repository has been archived on 2023-11-13. You can view files and clone it, but cannot push or open issues or pull requests.

Andreas baaccf4049 rename update_dot_files.sh to config-update.sh ... I renamed the file because it's easier to call it this way. There are already lots of other commands which start with update*		2016-10-11 11:54:05 +02:00
..
config-update.sh	rename update_dot_files.sh to config-update.sh	2016-10-11 11:54:05 +02:00