3 commits

Author	SHA1	Message	Date
alexweissman	a3a8de87e3	implement additional redirects for other pages	2017-09-10 17:47:28 -04:00
claudiulodro	67328e3a55	Replace docs with a redirect	2017-09-07 14:24:07 -07:00
Kevin Brown	8ac5f1ddf2	Migrate old options to options-old	2015-09-14 19:24:46 -04:00

Renamed from docs/options.html (Browse further)