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.

Sign up for GitHub

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

Jump to bottom

Possibility to select snippets for the export. #8

Closed
hebasta opened this issue Oct 12, 2021 · 1 comment
Closed

Possibility to select snippets for the export. #8

hebasta opened this issue Oct 12, 2021 · 1 comment
Assignees
@hebasta
Labels
duplicate This issue or pull request already exists

Comments

@hebasta
Copy link
Contributor

hebasta commented Oct 12, 2021

It should be possible to select snippets and export only the selected ones.
@hebasta hebasta self-assigned this Oct 12, 2021
@Akron Akron added the duplicate This issue or pull request already exists label Sep 26, 2023
@Akron
Copy link
Member

Akron commented Sep 26, 2023

Duplicate of #5

@Akron Akron marked this as a duplicate of #5 Sep 26, 2023
@Akron Akron closed this as completed Sep 26, 2023
idsgerrit pushed a commit that referenced this issue Jul 17, 2024
@hebasta
Upgrade jetty (closes #8 #9)
c84521e 
Change-Id: Ib8083caba3b597fb742e12a0b8ea1657e694a457
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hebasta hebasta

Labels
duplicate This issue or pull request already exists
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Akron @hebasta