search

GoogleChrome / devtools-docs

The legacy documentation for Chrome DevTools.
https://developer.chrome.com/devtools
691 stars 179 forks source link

redirect to current homepage via JS #324

Closed kaycebasques closed 6 years ago

kaycebasques commented 6 years ago

The honorable @paulirish WDYT?

It's worthwhile to get the redirect in place, yet not worthwhile enough to dig around the old infrastructure.

kaycebasques commented 6 years ago

@paulirish done

kaycebasques commented 6 years ago

Argh, looks like the auto-deploy system is borked

The previous commit from a while back that changes the first line from "(DevTools for short)" to "(DevTools)" isn't published, either.