Skip to content

Implement passing to-jelly options from a file#167

Merged
niegrzybkowski merged 7 commits intomainfrom
GH-54/options-from-file
Jul 22, 2025
Merged

Implement passing to-jelly options from a file#167
niegrzybkowski merged 7 commits intomainfrom
GH-54/options-from-file

Conversation

@niegrzybkowski
Copy link
Contributor

Closes #54

@niegrzybkowski niegrzybkowski linked an issue Jul 21, 2025 that may be closed by this pull request
@niegrzybkowski niegrzybkowski self-assigned this Jul 21, 2025
@niegrzybkowski niegrzybkowski marked this pull request as ready for review July 21, 2025 06:59
@niegrzybkowski niegrzybkowski enabled auto-merge (squash) July 21, 2025 06:59
@niegrzybkowski niegrzybkowski merged commit 192842d into main Jul 22, 2025
7 checks passed
@niegrzybkowski niegrzybkowski deleted the GH-54/options-from-file branch July 22, 2025 13:06
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.

rdf to-jelly: implement passing options from a file

2 participants