Skip to content
This repository has been archived by the owner on May 6, 2024. It is now read-only.

Add missing see* actions (e.g., '$') and test. #177

Merged
merged 4 commits into from
Nov 29, 2021
Merged

Conversation

heiner
Copy link
Contributor

@heiner heiner commented Jun 23, 2021

Also add time to NETHACKOPTIONS.

Also add the wizard commands with keyboard shortcuts, fixing #281.

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Jun 23, 2021
@heiner
Copy link
Contributor Author

heiner commented Jun 23, 2021

(We'll hold off with this change for now.)

@heiner heiner marked this pull request as draft June 23, 2021 12:29
@heiner heiner added the breaking change Introduces a breaking change in API label Sep 24, 2021
@heiner heiner marked this pull request as ready for review November 3, 2021 18:29
@heiner heiner force-pushed the heiner/addseeactions branch from 0ba3a71 to 7876e2e Compare November 3, 2021 18:34
@heiner heiner requested a review from cdmatters November 4, 2021 11:54
@heiner heiner requested a review from samvelyan November 24, 2021 22:10
Copy link
Contributor

@samvelyan samvelyan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@heiner heiner merged commit 091f1c1 into main Nov 29, 2021
@heiner heiner deleted the heiner/addseeactions branch November 29, 2021 10:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
breaking change Introduces a breaking change in API CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants