# Where to install the dotfiles, usually $HOME.
DESTDIR="$HOME"

# Git user information.
GIT_USER="Fernando Schauenburg"
GIT_EMAIL="dev@schauenburg.me"