Skip to content
GitLab
Explore
Sign in
Unverified
Commit
2352a787
authored
Apr 16, 2021
by
Andreas Klöckner
Committed by
GitHub
Apr 16, 2021
Browse files
Merge pull request #67 from inducer/grudge-op
Deprecate grudge.eager in favor of grudge.op
parents
0bb01d61
28a481b0
Loading
Loading
Loading
Loading
Changes
22
Pipelines
1