Rename doc -> docs

2025-04-05 12:58:24 +02:00 · 2018-12-22 17:28:59 -05:00 · 2018-12-22 17:28:59 -05:00 · b524581774
commit b524581774
parent ebbba438ae
8 changed files with 0 additions and 0 deletions
--- a/docs/CNAME
+++ b/docs/CNAME
--- a/docs/images/arrow-down.png
+++ b/docs/images/arrow-down.png
--- a/docs/images/octocat-small.png
+++ b/docs/images/octocat-small.png
--- a/docs/index.html
+++ b/docs/index.html
--- a/docs/javascripts/scale.fix.js
+++ b/docs/javascripts/scale.fix.js
--- a/docs/params.json
+++ b/docs/params.json
--- a/docs/stylesheets/pygment_trac.css
+++ b/docs/stylesheets/pygment_trac.css
--- a/docs/stylesheets/styles.css
+++ b/docs/stylesheets/styles.css