Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
402 changes: 0 additions & 402 deletions tools/server/public_legacy/colorthemes.css

This file was deleted.

209 changes: 0 additions & 209 deletions tools/server/public_legacy/completion.js

This file was deleted.

Binary file removed tools/server/public_legacy/favicon.ico
Binary file not shown.
Loading