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

Adding Matthew Lueder to the author list #51

Merged
merged 2 commits into from
Jun 22, 2023
Merged

Conversation

luederm
Copy link

@luederm luederm commented Jun 21, 2023

Purpose

Adding myself to the list of authors.

Issue

#31

Directions for reviewers. Tell potential reviewers what kind of feedback you are soliciting.

Which areas should receive a particularly close look?

Is there anything that you want to discuss further?

Is the pull request ready for review?

Pull review checklist

Unless otherwise noted above, this PR will be considered ready for review when all four items have been checked.

Spellcheck Step

The dictionary used for spellchecking can be updated.
Edit the file in build/assets/custom-dictionary.txt by adding new entries to the end.
You do not need to change anything else.
However, if you want to update the first line to have an accurate count of words and you want to remove non-unique ones, run the following command from within build/assets on your favorite OS X or Linux machine:

(( len = $(awk '!a[$0]++' < custom-dictionary.txt | wc -l ) - 1 )); tmpfile="$(mktemp)"; echo "personal_ws-1.1 en $len utf-8" > $tmpfile; tail -n +2 custom-dictionary.txt | awk '!a[$0]++' >> $tmpfile; mv $tmpfile custom-dictionary.txt

@jharenza jharenza merged commit fa7a929 into main Jun 22, 2023
1 check passed
@jharenza jharenza deleted the add-mrl-to-authors branch June 22, 2023 01:24
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants