Skip to content
This repository was archived by the owner on Apr 1, 2022. It is now read-only.

Add more support for remote development with GUI#86

Merged
paveloom merged 3 commits intodevelopfrom
feature
Aug 17, 2020
Merged

Add more support for remote development with GUI#86
paveloom merged 3 commits intodevelopfrom
feature

Conversation

@paveloom
Copy link
Member

@paveloom paveloom commented Aug 17, 2020

No description provided.

@paveloom paveloom added the patch Patch part of the version should be incremented label Aug 17, 2020
@paveloom paveloom added this to the v0.3.2 milestone Aug 17, 2020
@paveloom paveloom self-assigned this Aug 17, 2020
@paveloom paveloom linked an issue Aug 17, 2020 that may be closed by this pull request
Add htop #85
Closed
@paveloom paveloom merged commit 1381fc9 into develop Aug 17, 2020
@paveloom paveloom deleted the feature branch August 17, 2020 13:31
paveloom pushed a commit that referenced this pull request Aug 17, 2020
(#87) v0.3.2:
fec9066 
* (#77) Make quick little fixes;
* (#78) Fix locale and add `less`;
* (#82) Add `ncdu`, `make`, `zip` and `unzip`;
* (#83) Make corrections for the comments and the description;
* (#84) Make few Julia updates;
* (#86) Add more support for remote development with GUI.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

@paveloom paveloom

Labels

patch Patch part of the version should be incremented

Projects

None yet

Milestone

v0.3.2

Development

Successfully merging this pull request may close these issues.

Add htop

1 participant

@paveloom