Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: meta.xml -- fix a typo #2249

Merged
merged 2 commits into from
Apr 14, 2014
Merged

doc: meta.xml -- fix a typo #2249

merged 2 commits into from
Apr 14, 2014

Conversation

vu3rdd
Copy link
Contributor

@vu3rdd vu3rdd commented Apr 14, 2014

This is a trivial typo fix.

Chapter 2, gmp 5.1.1.nix url and filename has changed in the repo
to 5.1.x.nix.
@vu3rdd
Copy link
Contributor Author

vu3rdd commented Apr 14, 2014

A few typo fixes in the docs.

@vu3rdd vu3rdd closed this Apr 14, 2014
@vu3rdd vu3rdd reopened this Apr 14, 2014
@vu3rdd
Copy link
Contributor Author

vu3rdd commented Apr 14, 2014

Sorry, still learning the github pull requests. Didn't want to "close". Pull request is valid.

@domenkozar
Copy link
Member

Thanks!

domenkozar added a commit that referenced this pull request Apr 14, 2014
doc: meta.xml -- fix a typo
@domenkozar domenkozar merged commit 3fa7e07 into NixOS:master Apr 14, 2014
@Janik-Haag Janik-Haag added the 12. first-time contribution This PR is the author's first one; please be gentle! label Jun 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
12. first-time contribution This PR is the author's first one; please be gentle!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants