summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2023-03-04 21:32:02 +0100
committerGitHub <noreply@github.com>2023-03-04 21:32:02 +0100
commitc08807a3b575f870a23ddfdcf3bf45dc95f75cc5 (patch)
tree15a0cb31c9d8581d71c38c4853963c5aaacfef5c /manual
parent0492b9aa9614b508277d84d09eead199ea08e7f3 (diff)
parentf323d224f5ad211c664bc0f66c85721df6d7b2fe (diff)
downloadocaml-c08807a3b575f870a23ddfdcf3bf45dc95f75cc5.tar.gz
Merge pull request #11693 from dra27/no-vla
Remove use of C variable length arrays (VLAs)
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions