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

Delete the Makefile#131

Merged
paveloom merged 1 commit intodevelopfrom
update
Feb 3, 2021
Merged

Delete the Makefile#131
paveloom merged 1 commit intodevelopfrom
update

Conversation

@paveloom
Copy link
Member

@paveloom paveloom commented Feb 3, 2021

No description provided.

@paveloom paveloom added the patch Patch part of the version should be incremented label Feb 3, 2021
@paveloom paveloom added this to the v0.4.1 milestone Feb 3, 2021
@paveloom paveloom self-assigned this Feb 3, 2021
@paveloom paveloom merged commit ca1ba5f into develop Feb 3, 2021
@paveloom paveloom deleted the update branch February 3, 2021 13:10
paveloom pushed a commit that referenced this pull request Feb 3, 2021
(#132) v0.4.1:
716f7f2 
* (#126) Fix Rust not being installed; switch to Bash for build scripts;
* (#128) Set `pull.rebase` to `false` in Git config;
* (#130) Remove an extra line in the output of the GPG user-script;
* (#131) Delete the Makefile;
* (#133) Bump the version.
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.4.1

Development

Successfully merging this pull request may close these issues.

1 participant

@paveloom