Closed esabol closed 1 year ago
Change "Github" to "GitHub" in the site footer.
I presume the HTML files are autogenerated and don't need to be included in this PR?
Thanks. Yes, they are generated. And I am going to change that now, so the generated html files won't be in the repo any more.
Change "Github" to "GitHub" in the site footer.
I presume the HTML files are autogenerated and don't need to be included in this PR?