6f1def79dd
Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server |
||
|---|---|---|
| .. | ||
| setup | ||
| dogfood.rs | ||
| fmt.rs | ||
| lib.rs | ||
| lint.rs | ||
| main.rs | ||
| new_lint.rs | ||
| serve.rs | ||
| update_lints.rs | ||