diff options
author | ckeller <ckeller@users.noreply.github.com> | 2020-01-15 17:03:08 +0100 |
---|---|---|
committer | ckeller <ckeller@users.noreply.github.com> | 2020-01-15 17:03:08 +0100 |
commit | f3034d014ccb0afe4c4c03b84e33118f9cb97d90 (patch) | |
tree | 623d203867b1d97d872b791e5e5c72144c63e7ce /_config.yml | |
parent | 06bd8685c7dd00fbfe544615ca4d5e2f71cfaaed (diff) | |
download | smtcoq-f3034d014ccb0afe4c4c03b84e33118f9cb97d90.tar.gz smtcoq-f3034d014ccb0afe4c4c03b84e33118f9cb97d90.zip |
Set theme jekyll-theme-slate
Diffstat (limited to '_config.yml')
-rw-r--r-- | _config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..c741881 --- /dev/null +++ b/_config.yml @@ -0,0 +1 @@ +theme: jekyll-theme-slate
\ No newline at end of file |