mirror of https://gitee.com/bigwinds/arangodb
* Correct custom search IDs, sitemap and edit URLs * deploy versions through shell script from central places * shellcheckify * shellcheck, indent * move all configs into one file * add settings * one more char that may occur in ids * add per book version, its not yet the right ids. * Update VERSIONS Created new CSE for Devel Cookbook, replaced all IDs by Devel CSE IDs, adjusted prio to 0.3 |
||
---|---|---|
.. | ||
header.css | ||
header.js | ||
hs.js | ||
website.css |