# dots

configuration files for various programs and convenience scripts.