# Git submodules
#
# This repository currently has no submodules. If one is added later, declare it
# here, e.g.:
#
# [submodule "path/to/submodule"]
#   path = path/to/submodule
#   url = https://github.com/owner/repository.git
