summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2024-04-01 18:44:44 -0700
committerGitHub <noreply@github.com>2024-04-01 18:44:44 -0700
commitabb7f1a7790544010d6eaac0f137e6b39349cf76 (patch)
tree922ca0d837d426f42a09ebec0a9a8492964c4781 /docs
parent2c4f9810327d58023e9ec44f579cd78adf56317b (diff)
Support `[RequirePrelude]` attribute on types. (#3867)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions