diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-17 20:37:52 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-17 20:37:52 +0100 |
| commit | 65ab81e35868c09ac9c93cf1d53a607f5caede53 (patch) | |
| tree | 666bb8c3c84c6c9de9afc169335b0c7a97b504a2 /.cargo | |
| parent | b060d8446767c8071197bbd49e700867722b564e (diff) | |
| parent | 9a7c8d4b0ff3b9a7d736bbda68e12a9f3867ec1b (diff) | |
Merge #2031
2031: scale website back r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.cargo')
| -rw-r--r-- | .cargo/config | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.cargo/config b/.cargo/config index 9f9b24a49..92a3acfd0 100644 --- a/.cargo/config +++ b/.cargo/config | |||
| @@ -5,8 +5,6 @@ gen-syntax = "run --package ra_tools --bin ra_tools -- gen-syntax" | |||
| 5 | # Extracts the tests from | 5 | # Extracts the tests from |
| 6 | gen-tests = "run --package ra_tools --bin ra_tools -- gen-tests" | 6 | gen-tests = "run --package ra_tools --bin ra_tools -- gen-tests" |
| 7 | 7 | ||
| 8 | build-website = "run --package website-gen" | ||
| 9 | |||
| 10 | # Installs the visual studio code extension | 8 | # Installs the visual studio code extension |
| 11 | install-ra = "run --package ra_tools --bin ra_tools -- install-ra" | 9 | install-ra = "run --package ra_tools --bin ra_tools -- install-ra" |
| 12 | install-code = "run --package ra_tools --bin ra_tools -- install-ra" # just an alias | 10 | install-code = "run --package ra_tools --bin ra_tools -- install-ra" # just an alias |