dart-lang / api.dart.dev

Dart API docs
https://api.dart.dev
BSD 3-Clause "New" or "Revised" License
19 stars 17 forks source link

Remove insertname.py from repo #41

Closed sethladd closed 9 years ago

sethladd commented 9 years ago

No longer needed.

sethladd commented 9 years ago

I think we can also remove index.html from the root of the project. (it's a symlink?)

sethladd commented 9 years ago

I think we can also remove this line? https://github.com/dart-lang/api.dartlang.org/blob/new-dartdocs/server/scripts/redirector.py#L143

sethladd commented 9 years ago

Handled in https://github.com/dart-lang/api.dartlang.org/pull/44