You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@teaclave.apache.org by Hongbo <no...@github.com.INVALID> on 2021/08/09 21:33:00 UTC
[apache/incubator-teaclave] polish ide script and tip doc (#540)
## Description
polish ide script and tip doc
Fixes # (issue)
previous script doesn't update the content of .cargo/config
## Type of change (select or add applied and delete the others)
- [ ] Bug fix (non-breaking change which fixes an issue)
- [ ] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
- [ ] API change with a documentation update
- [ ] Additional test coverage
- [ ] Code cleanup or just sync with upstream third-party crates
## How has this been tested?
## Checklist
- [ ] Fork the repo and create your branch from `master`.
- [ ] If you've added code that should be tested, add tests.
- [ ] If you've changed APIs, update the documentation.
- [ ] Ensure the tests pass (see CI results).
- [ ] Make sure your code lints/format.
You can view, comment on, or merge this pull request online at:
https://github.com/apache/incubator-teaclave/pull/540
-- Commit Summary --
* polish ide script and tip doc
-- File Changes --
M docs/development-tips.md (11)
M scripts/ide.sh (2)
-- Patch Links --
https://github.com/apache/incubator-teaclave/pull/540.patch
https://github.com/apache/incubator-teaclave/pull/540.diff
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/540
Re: [apache/incubator-teaclave] polish ide script and tip doc (#540)
Posted by Mingshen Sun <no...@github.com.INVALID>.
Merged #540 into master.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/apache/incubator-teaclave/pull/540#event-5132297533