fixes few very tiny typos in the guide #5

Closed

drom wants to merge 3 commits from master into master

pull from: master

merge into: lezer:master

Conversation 1 Commits 3 Files changed 1 +15 -10

drom commented 2020-05-09 02:33:16 +02:00 (Migrated from github.com)

Copy link

No description provided.

marijnh commented 2020-09-12 13:14:29 +02:00 (Migrated from github.com)

Copy link

Thanks! Sorry for not responding earlier. I was, accidentally, not receiving email notifications for this repository. I've merged 382a80d. The others were already fixed in #6 (after your PR, but I just happened to read it earlier)

Thanks! Sorry for not responding earlier. I was, accidentally, not receiving email notifications for this repository. I've merged 382a80d. The others were already fixed in #6 (after your PR, but I just happened to read it earlier)

Pull request closed

Please reopen this pull request to perform a merge.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

lezer/website!5

No description provided.