Skip to content

Commit

Permalink
update Dr.Jit-Core repo
Browse files Browse the repository at this point in the history
wjakob committed Dec 2, 2022

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 1af8233 commit 9eb0649
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ext/drjit-core

0 comments on commit 9eb0649

Please sign in to comment.