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

Add useful search commands and explanations to intro page #94

Merged
merged 1 commit into from
Nov 14, 2022
Merged

Conversation

Rot127
Copy link
Member

@Rot127 Rot127 commented Jul 4, 2022

Depends on #93

Adds a description about the most essential search methods.

This is not meant to be merged but merely here for feedback. If you like the style I can combine it with #79.

@wargio
Copy link
Member

wargio commented Jul 4, 2022

shouldn't this go to dev?

@wargio wargio changed the base branch from master to dev July 4, 2022 14:11
@Rot127
Copy link
Member Author

Rot127 commented Jul 4, 2022

Ah yes. It should.

@ret2libc
Copy link
Member

ret2libc commented Jul 4, 2022

by search methods you mean searching commands, don't you?

@Rot127
Copy link
Member Author

Rot127 commented Jul 4, 2022

Yes. But you are right. Those are not really search methods.

@Rot127 Rot127 changed the title Add search methods to intro Add useful search commands and explanations to intro page Jul 4, 2022
@XVilka
Copy link
Member

XVilka commented Oct 15, 2022

Rebase, please

@XVilka XVilka requested a review from wargio October 15, 2022 06:30
@Rot127 Rot127 merged commit 1ea960c into dev Nov 14, 2022
@Rot127 Rot127 deleted the help-intro branch November 14, 2022 21:31
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.

4 participants