blob: 2ec7e41eafba238173fed24fa3141c41cbcdd266 (
plain)
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; backg#!/usr/bin/env sh
git config --remove-section submodule.git-prompt
printf "submodule git-prompt has been removed. After pushing, don't forget to trigger the"
printf " post-checkout hook again.\\n"
