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 | |
| parent | 04ed307bfdaafbf60eb9b16a939357ed76d35127 (diff) | |
docs/assets/includes -> docs/html
| -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 |