diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-26 20:21:38 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-26 20:25:36 +0100 |
| commit | 33d8c19999f28343a2fc2f7aef4d40f80c276145 (patch) | |
| tree | 524d09c362c32717655674ff6afa05b0e775bb57 /modules/mono | |
| parent | c2f59de212546e2005e4cbdde9515599cdaa3b78 (diff) | |
doc: Add caveat for File.file_exists for imported resources
Fixes #25347.
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions