diff options
author | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:11:31 -0500 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:11:31 -0500 |
commit | 2781248fb0d7f3ac1b2b8db6e6c005b379579818 (patch) | |
tree | 7730827f9307b2a7a8b61e87f0fae89c30483683 /docs | |
parent | 04ed307bfdaafbf60eb9b16a939357ed76d35127 (diff) |
docs/assets/includes -> docs/html
Diffstat (limited to 'docs')
-rw-r--r-- | docs/html/footer.html (renamed from docs/assets/includes/footer.html) | 0 | ||||
-rw-r--r-- | docs/html/header.html (renamed from docs/assets/includes/header.html) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/docs/assets/includes/footer.html b/docs/html/footer.html index 308b1d0..308b1d0 100644 --- a/docs/assets/includes/footer.html +++ b/docs/html/footer.html diff --git a/docs/assets/includes/header.html b/docs/html/header.html index 633f055..633f055 100644 --- a/docs/assets/includes/header.html +++ b/docs/html/header.html |