summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2020-04-21 18:47:34 +0200
committerGitHub <noreply@github.com>2020-04-21 18:47:34 +0200
commitcb1ae08c14e02ce29fb71ae40ae657f1d30a0422 (patch)
tree4b68359acf5f698c2ad643f3f318124013e41f5a /doc/tools
parent4f03e302a7aacd73760d592410502396588a0c1d (diff)
parentf8ef38efed3c4f814b2762b2e054e0bbf7d911b4 (diff)
Merge pull request #38083 from reduz/use-typed-arrays
Add proper type to most public API uses of Array
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions