dots/branch.sh, branch main A collection of configuration settings for programs and utility scripts I use. Add script to quickly change between branches 2025-06-17T07:37:32+00:00 Christoph Schlosser cschlosser@google.com 2025-06-17T07:35:56+00:00 2447bd4bd20d497e22d13e6f117ad62750e4484d