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

fix a typo in 04-upgrading.md #1487

Merged

Conversation

googlr
Copy link
Contributor

@googlr googlr commented Jan 18, 2018

It's a trivial typo that I found when reading your documents.

In "minimal-mistakes/docs/_docs/04-upgrading.md", it seems a verb is missing in "To check which version you are currently using, view the source of your built site and you should something similar to:
".

Thank you for the amazing Jekll theme. 👍

@mmistakes
Copy link
Owner

Thanks!

@mmistakes mmistakes merged commit 61bad6d into mmistakes:master Jan 18, 2018
@googlr googlr deleted the fix-one-typo-in-docs-_docs-04-upgrading branch January 18, 2018 16:30
martinbjeldbak added a commit to martinbjeldbak/martinbjeldbak.github.io that referenced this pull request Feb 1, 2018
* upstream/master: (528 commits)
  Fix docs. Change Isaac Newton with Albert Einstein (mmistakes#1508)
  Replace `|` with HTML entity when used as title separator
  Update stale.yml
  Remove ignore file
  Fix border bottom for Gist line numbers
  Update CHANGELOG and history
  fix a typo in 04-upgrading.md (mmistakes#1487)
  Update CHANGELOG and history
  Remove extra spaces after :
  Fix jsonify name in seo.html application/ld+json script (mmistakes#1485)
  Update CHANGELOG and history
  Add archive feature row test page
  Add archive feature row test page
  Adjust feature row styling when used on an `archive` layout
  Remove misleading underline hover state
  Replace toc include with `toc: true`
  Remove base_path include from pages
  Reduce font-size of page meta in list/grid items
  Underline archive item titles
  Update issue template
  ...
kkunapuli pushed a commit to kkunapuli/kkunapuli.github.io that referenced this pull request May 30, 2019
sumeetmondal pushed a commit to sumeetmondal/sumeetmondal.github.io that referenced this pull request Sep 10, 2019
jchwenger pushed a commit to jchwenger/jchwenger.github.io that referenced this pull request May 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants