summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorStephen Dolan <sdolan@janestreet.com>2023-01-12 12:41:42 +0000
committerGitHub <noreply@github.com>2023-01-12 12:41:42 +0000
commit102d9606965dc7e393114a35c4510a603c91528e (patch)
tree85d05ace33bf35dc5beede2d70ce8754e497d434 /configure.ac
parentf9aeb7012fc1b4ceb5662c5213362393e287e94d (diff)
downloadocaml-102d9606965dc7e393114a35c4510a603c91528e.tar.gz
Bugfix for Ctype.nondep_type (#11879)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions