diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-25 18:54:25 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-25 18:54:25 +0200 |
commit | 6f292f906e749f30ceb7f922df5639add61a5f88 (patch) | |
tree | b644dba35d501c40bd144c767351822f0290b9fa /doc/classes/File.xml | |
parent | 58bde149cc461b5fafa254f765ad370a7291ffb5 (diff) | |
parent | 0181c3dde12d2bcfdcbb463dcf90cf47f0b88fee (diff) |
Merge pull request #38900 from bruvzg/docs_ignore_os_spec_def_vals
Docs: Ignore OS specific values (constants, project settings, properties)
Diffstat (limited to 'doc/classes/File.xml')
0 files changed, 0 insertions, 0 deletions