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

Fix locale and add less#78

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

Fix locale and add less#78
paveloom merged 3 commits intodevelopfrom
feature

Conversation

@paveloom
Copy link
Member

@paveloom paveloom commented Aug 15, 2020

No description provided.

@paveloom paveloom added the patch Patch part of the version should be incremented label Aug 15, 2020
@paveloom paveloom added this to the v0.3.2 milestone Aug 15, 2020
@paveloom paveloom self-assigned this Aug 15, 2020
This was linked to issues Aug 15, 2020
Fix locale #66
Closed
Set GIT_PAGER=less #67
Closed
@paveloom paveloom changed the title Fix locale and change GIT_PAGER to use less Fix locale and add less Aug 15, 2020
@paveloom paveloom merged commit 25f5036 into develop Aug 15, 2020
@paveloom paveloom deleted the feature branch August 15, 2020 16:56
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.

Set GIT_PAGER=less Fix locale

1 participant

@paveloom