diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-02 21:45:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-02 21:45:24 +0100 |
| commit | 8dd00ed1762c4956b3231d709ce0d01ee9b306c8 (patch) | |
| tree | a29c890d9247a78a845cde06271d3bddc972ba72 /platform | |
| parent | e2caaf1b6d6fbea95fe410f56e99f1ce6bd66c35 (diff) | |
| parent | 69fe17639e2a5b7ca31ba5ccf2ac49a9b9ae293e (diff) | |
Merge pull request #24117 from Paulb23/txt_file_last_modified_time
Fix text files constantly asking for reload as no last modified time
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions