use github metadata to identify branch to use when editing files
authorFrançois Michonneau <francois.michonneau@gmail.com>
Fri, 24 Aug 2018 21:33:33 +0000 (17:33 -0400)
committerFrançois Michonneau <francois.michonneau@gmail.com>
Tue, 11 Sep 2018 14:10:23 +0000 (10:10 -0400)
commitfeeb525b30a7410595a17e2f5402b335719871c3
tree5c7f8d6dd07dabe2442c69b529c3f98f16bdf45c
parent71ace0f4b9d840589768d5289815bdb9756f0721
use github metadata to identify branch to use when editing files
_includes/gh_default_branch.html [new file with mode: 0644]
_includes/lesson_footer.html
_includes/navbar.html